From be2c42a1aedc84e0e510b8b0296bcebc587a4816 Mon Sep 17 00:00:00 2001 From: Simon Ruderich Date: Sat, 20 Nov 2010 16:15:28 +0100 Subject: [PATCH] bin/git-update.sh: Also push tags to remotes. --- bin/git-update.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/bin/git-update.sh b/bin/git-update.sh index 83080b9..e9c0aba 100755 --- a/bin/git-update.sh +++ b/bin/git-update.sh @@ -18,6 +18,7 @@ git remote update 2>&1 | grep -v Fetching # Push all local changes to remote(s). for remote in `git remote`; do git push $remote 2>&1 | grep -v 'Everything up-to-date' + git push --tags $remote 2>&1 | grep -v 'Everything up-to-date' done # Show unmerged changes. git branch -rv --color --no-merged -- 2.45.2