From 2f854f42b57a338d07bb2ed2ea152b7b3ff3559f Mon Sep 17 00:00:00 2001
From: Oleg Broytman <phd@phdru.name>
Date: Sat, 4 Jul 2015 19:11:57 +0300
Subject: [PATCH] Remove current/master branch from web mirror

---
 update | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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
-- 
2.39.5