If a problem happens with gpg, exit prematurely so that it doesn't push the branch upstream.
devtools: don't push if signing fails in github-merge #6692
pull laanwj wants to merge 1 commits into bitcoin:master from laanwj:2015_10_gh_mergge_fail_signing changing 1 files +5 −1-
laanwj commented at 4:05 AM on September 18, 2015: member
-
3802ae7267
devtools: don't push if signing fails in github-merge
If a problem happens with gpg, exit prematurely so that it doesn't push the branch upstream.
- laanwj added the label Dev Scripts on Sep 18, 2015
-
jgarzik commented at 4:13 AM on September 18, 2015: contributor
ut ACK
- laanwj merged this on Sep 18, 2015
- laanwj closed this on Sep 18, 2015
- laanwj referenced this in commit d5d1d2e65a on Sep 18, 2015
-
TheBlueMatt commented at 7:50 PM on September 18, 2015: member
This is not sufficient, sadly. You really need to call contrib/verify-commits/verify-commits.sh with #6671 applied (or use the push-hook included in the same dir).
- DrahtBot locked this on Sep 8, 2021
Contributors
Labels