-
Notifications
You must be signed in to change notification settings - Fork 8.2k
gh pr checkout should add author's fork to remotes #4968
Description
Describe the feature or problem you’d like to solve
GitHub does allow maintainers of repo to push more commits to the fork of the Pull Request author (if the author has checked the respective box on the PR, but let's say they do).
If I review a PR locally via gh pr checkout <number> command, and decide to push more commits, I cannot easily do that, I need to do:
git remote -v, copy my remote URL- Go back to the PR, copy the PRauthor's username
- Change my username with PR author's username
git remote add <name> <modified-remote-url>
which is really cumbersome.
Proposed solution
prm tool has existed for a really long time https://github.com/ldez/prm and it solves this by automatically adding a git-remote for the checked out fork.
Having the same feature on gh would help a great deal. I don't see a downside other than having to clean some unused remotes every now and then, which are harmless regardless.
Additional context
I recommend trying out https://github.com/ldez/prm.