push is optional in git-fetch-rebase