From: Arran Cudbard-Bell <a.cudbardb@freeradius.org>
Date: Fri, 27 Jul 2012 18:00:23 +0000 (+0200)
Subject: push to remote servers
X-Git-Tag: release_3_0_0_beta0~109^2~2
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bd1dac8df1a7584e0ec2c2071c7d59aeb9044d88;p=thirdparty%2Ffreeradius-server.git

push to remote servers
---

diff --git a/scripts/git/post-receive b/scripts/git/post-receive
index 6b99428b7c9..ac9d073a514 100755
--- a/scripts/git/post-receive
+++ b/scripts/git/post-receive
@@ -24,6 +24,12 @@ GIT_EXEC='env -i git'
 # Abort if there are local untracked files
 ABORT_UNTRACKED=true
 
+# Push changes to any remotes we have configured
+PUSH_TO_REMOTES=false
+
+# The remote branch to push to
+PUSH_TO_BRANCH='master'
+
 while read oldrev newrev refname
 do
 :
@@ -131,4 +137,11 @@ else
 	$GIT_EXEC tag -f $STABLE_TAG $newrev
 fi
 
+if [ $PUSH_TO_REMOTES ]; then
+        echo "Pushing to remote servers"
+        for remote in `$GIT_EXEC remote`; do
+                $GIT_EXEC push "$remote" "$PUSH_TO_BRANCH"
+        done
+fi
+
 exit 0