From: Oleg Broytman <phd@phdru.name>
Date: Sun, 5 Jul 2015 00:13:50 +0000 (+0300)
Subject: Run update server info after deleting a remote branch
X-Git-Url: https://git.phdru.name/?a=commitdiff_plain;h=06a35bd51fb649e78aad470e7e84d449559158d8;p=git-scripts.git

Run update server info after deleting a remote branch
---

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