From: Oleg Broytman 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;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