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
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