Do not mirror

[git-scripts.git] / update

diff --git a/update b/update
index 34ed844ff2ed728dc09439028471622a11acd215..e76a158cbe4de7d6365928f819bd5f34b2ab944b 100755 (executable)
--- a/update
+++ b/update
@@ -21,7 +21,6 @@ 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 && git update-server-info
 fi &&
 
 cd "$current" && exec git pull origin