push: add a config option push.gpgSign for default signed pushes

diff --git a/check-builtins.sh b/check-builtins.sh
index 07cff69d8e5c5fdbca47b603dbc2e9c067d369fd..a0aaf3a3473cadb162f8c39175b0ceb6cee1535a 100755 (executable)
--- a/check-builtins.sh
+++ b/check-builtins.sh
@@ -3,7 +3,7 @@
 {
        cat <<\EOF
 sayIt:
-       $(foreach b,$(BUILT_INS),echo XXX $b YYY;)
+       $(foreach b,$(BUILT_INS),echo XXX $(b:$X=) YYY;)
 EOF
        cat Makefile
 } |