From 06a35bd51fb649e78aad470e7e84d449559158d8 Mon Sep 17 00:00:00 2001
From: Oleg Broytman <phd@phdru.name>
Date: Sun, 5 Jul 2015 03:13:50 +0300
Subject: [PATCH] Run update server info after deleting a remote branch

---
 update | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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