devtools: Retry after signing fails in github-merge #10486

pull laanwj wants to merge 1 commits into bitcoin:master from laanwj:2017_05_githubmerge_sign_error changing 1 files +1 −2

laanwj commented at 3:23 PM on May 31, 2017: member

When signing fails, go back to the sign/exit prompt instead of exiting the script.

Nowadays I use a signing token for my GPG key, which can sometimes fail (especially when it's accidentally not plugged in :') ). This avoids having to re-do the merge in that case.

devtools: Retry after signing fails in github-merge

When signing fails, go back to the sign/exit prompt instead
of exiting the script.

1983c8772c

laanwj added the label Scripts and tools on May 31, 2017
MarcoFalke commented at 3:31 PM on May 31, 2017: member

utACK 1983c8772cdd4ba4389f7f9880ec394da73d4a3b
fanquake commented at 12:40 AM on June 1, 2017: member

utACK 1983c87
laanwj merged this on Jun 1, 2017
laanwj closed this on Jun 1, 2017
laanwj referenced this in commit 10e8c0a298 on Jun 1, 2017
PastaPastaPasta referenced this in commit f3efce4bb2 on May 10, 2019
PastaPastaPasta referenced this in commit 39717b782c on May 15, 2019
PastaPastaPasta referenced this in commit 55dc3dae52 on May 20, 2019
PastaPastaPasta referenced this in commit de6b9bc87b on May 21, 2019
barrystyle referenced this in commit a149086fe3 on Jan 22, 2020
DrahtBot locked this on Sep 8, 2021

Contributors

Labels