LBRYCommunity/lbrycrd
1
0
Fork 0
Code Issues 29 Pull requests 1 Projects Releases 32 Packages Wiki Activity

devtools: don't push if signing fails in github-merge

Browse source 
If a problem happens with gpg, exit prematurely so that it doesn't push
the branch upstream.
This commit is contained in:
Wladimir J. van der Laan 2015-09-18 06:03:17 +02:00
parent 8bc1b3a1f3
commit 3802ae7267
1 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
contrib/devtools/github-merge.sh
View file

@ -161,7 +161,11 @@ if [[ "d$REPLY" =~ ^d[Ss]$ ]]; then
cleanup cleanup
exit 1 exit 1
else else
git commit -q --gpg-sign --amend --no-edit if ! git commit -q --gpg-sign --amend --no-edit; then
echo "Error signing, exiting."
cleanup
exit 1
fi
fi fi
else else
echo "Not signing off on merge, exiting." echo "Not signing off on merge, exiting."