current="`git config --get --path remote.current.url`"
origin="`git config --get --path remote.origin.url`"
+branches="master ${1:+$@}"
if [ -n "$origin" ]; then
if [ -n "$current" ]; then
exit 1
fi
-git pull --ff-only current master &&
+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 web
+ git push --force web $branches
fi &&
-cd "$current" && exec git pull origin
+cd "$current" &&
+git pull origin &&
+exec git set-date