diff options
-rwxr-xr-x | post-receive.push-forward | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/post-receive.push-forward b/post-receive.push-forward new file mode 100755 index 0000000..56800ed --- /dev/null +++ b/post-receive.push-forward @@ -0,0 +1,10 @@ +#! /bin/bash +while read old new ref ; do + BRANCH="${ref#refs/heads/}" + + if [ "${new}" = "0000000000000000000000000000000000000000" ]; then + git push --force vm-staticweb ":${BRANCH}" + else + git push --force vm-staticweb "${BRANCH}" + fi +done |