From: Oleg Broytman <phd@phdru.name>
Date: Sat, 4 Jul 2015 16:11:57 +0000 (+0300)
Subject: Remove current/master branch from web mirror
X-Git-Url: https://git.phdru.name/?a=commitdiff_plain;h=2f854f42b57a338d07bb2ed2ea152b7b3ff3559f;hp=af75248d64d526974f3eedc0c9df9a91291798c2;p=git-scripts.git

Remove current/master branch from web mirror
---

diff --git a/update b/update
index aa62c97..7eb5ffc 100755
--- a/update
+++ b/update
@@ -19,6 +19,9 @@ fi
 git pull --ff-only current master &&
 
 web="`git config --get --path remote.web.url`" &&
-[ -n "$web" ] && git push web
+if [ -n "$web" ]; then
+   git push web &&
+   cd "$web" && git branch -dr current/master
+fi &&
 
 cd "$current" && exec git pull origin