Update scripts/git/post-receive

diff --git a/scripts/git/post-receive b/scripts/git/post-receive
index ac9d073a5141ac3fbb658748676a640c4939a9c9..3f2bf1561e7930f43b5165c9799a647ae818beb3 100755 (executable)
--- a/scripts/git/post-receive
+++ b/scripts/git/post-receive
@@ -138,7 +138,7 @@ else
 fi
 
 if [ $PUSH_TO_REMOTES ]; then
-        echo "Pushing to remote servers"
+        echo "Pushing to remote repositories"
         for remote in `$GIT_EXEC remote`; do
                 $GIT_EXEC push "$remote" "$PUSH_TO_BRANCH"
         done