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