Add contributor's repository address to pull request pages.
See original GitHub issueAs a maintainer, I sometimes need to push changes to contributor’s PRs. The nature of my projects means that I get many one-off submissions from new contributors.
Right now, I have to click on the user’s repo link:
Then open the repo dropdown and copy the link:
Honestly, I don’t know that I’ve ever had a usage for the clipboard icon on the PR (which copies username/branchname
).
Instead, it would be nice to short-circuit that and allow copying the contributor’s repository address directly from the PR. Either by repeating the green dropdown or by just copying the SSH address (since I need to be authenticated to push to the branch).
Example URL: https://github.com/shepmaster/snafu/pull/251
(any pull request).
Thanks so much for an awesome project!
Issue Analytics
- State:
- Created 3 years ago
- Comments:12 (10 by maintainers)
Top Results From Across the Web
Add contributor's repository address to pull request pages.
Right now, I have to click on the user's repo link: Then open the repo dro. ... Add contributor's repository address to pull...
Read more >Contribute to someone's repository - Karl Broman
Click on “Pull Requests” at the top. Click on the particular request. You'll see their comments on the pull request, and can click...
Read more >Contributing to GitHub Projects (Git Pull Request for Dummies)
Learn how to contribute to GitHub projects by issuing Git pull requests to work with GitHub repo owners in this step-by-step article.
Read more >Contributing to a Project - Git SCM
People can fork a project, push to it, and contribute their changes back to the original repository by creating what's called a Pull...
Read more >How To Create A Pull Request on Github - Earth Data Science
Step 1 - Start to Open Your Pull Request on GitHub ... To start a PR, click the New pull request button on...
Read more >Top Related Medium Post
No results found
Top Related StackOverflow Question
No results found
Troubleshoot Live Code
Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start FreeTop Related Reddit Thread
No results found
Top Related Hackernoon Post
No results found
Top Related Tweet
No results found
Top Related Dev.to Post
No results found
Top Related Hashnode Post
No results found
Top GitHub Comments
Ah, sorry for not clarifying this better. I actually already have something for that so I can type
git pr NNNNN
and it downloads and checks out the branch:The problem comes when I need to push changes to the PR, which requires me to push to the authors branch, AFAIK:
Specifically, I need to run this first command (and ideally some variant of the second):
The first command requires the repository address.
After some work, I then run some variant of
Closing in favor of #2767, which tackles the issue directly.