We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 2c1a84d commit 593cefdCopy full SHA for 593cefd
release_tools/version_tag.sh
@@ -26,7 +26,7 @@ fi
26
27
# Check that this commit is signed by GitHub, to avoid
28
# accidentally tagging a commit that only exists locally.
29
-if [ $(git verify-commit HEAD --raw 2>&1 | grep -E "GOODSIG [A-F0-9]+ GitHub" -c) -eq 0 ] ; then
+if [ "$(git verify-commit HEAD --raw 2>&1 | grep -E "GOODSIG [A-F0-9]+ GitHub" -c)" -eq 0 ] ; then
30
echo "This commit hasn't been signed by GitHub."
31
echo "Please check that you are attempting to tag the correct commit."
32
exit 1
0 commit comments