3 ms·
I hope this is very ironic (?) edit removed unnecessary comment. What I mean is that you can already do this with git, nothing else required. git remote add f
by accatyyc 11y ago
I hope this is very ironic (?)
edit removed unnecessary comment. What I mean is that you can already do this with git, nothing else required.
git remote add fork fork@github.com && git merge fork/pr-branch
- gbtxg 11y agoWell actually you can do it without even adding a remote. git pull https://github.com/otheruser/repo.git branchname so your example will become git pull fork@github.com pr-branch
- rcthompson 11y agoYeah, I want to do it without adding a remote for every person who sends a pull request. I presume this is git with the "hub" wrapper provided by github? Oh, and I know I can pull directly from the appropriate URL, but I still have to browse to the pull request to get the URL for the associated branch. At that point I may as well just hit the merge button while I'm there.