set-feed-rev: Fix pushing with --mr
git push with --set-upstream (unless configured with push.autoSetupRemote) requires specifing branch name.
git push with --set-upstream (unless configured with push.autoSetupRemote) requires specifing branch name.