Some packaging improvements.

[rsync.git] / packaging / pre-push

diff --git a/packaging/pre-push b/packaging/pre-push
index 04b0d20b45385c4c6c3f78826cc3236a9d6507a2..8a713695ef2a3ab96926809b53ca6c32c9861965 100755 (executable)
--- a/packaging/pre-push
+++ b/packaging/pre-push
@@ -1,3 +1,16 @@
-#!/bin/sh
+#!/bin/bash -e
+
 cat >/dev/null # Just discard stdin data
-make gensend
+
+if [[ -f /proc/$PPID/cmdline ]]; then
+    while read -d $'\0' arg ; do
+       if [[ "$arg" == '--tags' ]] ; then
+           exit 0
+       fi
+    done </proc/$PPID/cmdline
+fi
+
+branch=`git rev-parse --abbrev-ref HEAD`
+if [[ "$branch" = master && "$*" == *github* ]]; then
+    make gensend
+fi