scripts/git-push: Git commit+fetch+rebase+push