Fix bug in git-sync-upstream with returning to saved branch.
Add repush bash function to push the current branch to the specified repository.