exit 1
fi
-git pull --ff-only current master &&
+git fetch current &&
+{ git pull --ff-only current master || git reset --hard current/master ; } &&
web="`git config --get --path remote.web.url`" &&
if [ -n "$web" ]; then
- git push web
+ git push web "$@"
fi &&
cd "$current" && exec git pull origin