Push master explicitly

diff --git a/update b/update
index 199e16fb9767fd7e83ec2d49ca765a684682abd7..2e0aa7843953217b66a23dffddef3dfa47f664d6 100755 (executable)
--- a/update
+++ b/update
@@ -20,7 +20,7 @@ git pull --ff-only current master &&
 
 web="`git config --get --path remote.web.url`" &&
 if [ -n "$web" ]; then
-   git push web
+   git push web master
 fi &&
 
 cd "$current" && exec git pull origin