summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
f44ddfd)
Always force-push `master` and additional branches to `web`.
current="`git config --get --path remote.current.url`"
origin="`git config --get --path remote.origin.url`"
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
if [ -n "$origin" ]; then
if [ -n "$current" ]; then
web="`git config --get --path remote.web.url`" &&
if [ -n "$web" ]; then
web="`git config --get --path remote.web.url`" &&
if [ -n "$web" ]; then
+ git push --force web $branches
fi &&
cd "$current" && exec git pull origin
fi &&
cd "$current" && exec git pull origin