www

commit 8320e5e2641c7bc3163f718771301bb45b6633f1
parent 2b45b14e0b6be94d0691eaae0b6e402fa0ad672f
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Tue, 21 Mar 2017 19:39:38 +0100

Allow empty commit on auto-push branch

Diffstat:
M
auto-push-master.sh
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/auto-push-master.sh b/auto-push-master.sh
@@ -42,7 +42,7 @@ else
   git checkout auto-push
   echo "$commit_hash" > commit_hash
   git add commit_hash
-  git commit -m "Request to auto-push $commit_hash to master"
+  git commit -m "Request to auto-push $commit_hash to master" --allow-empty
   git log --oneline --decorate --graph -10
   git push --quiet "$ssh_repo_url" HEAD:auto-push || true # do not cause a tantrum in case of race conditions.
 fi