Delete a closed pull request from GitHub
I accidentally made a wrong pull request and ended up closing the request myself. It’s in a closed state right now but it’s … Read more
pull-request
Can you issue pull requests from the command line on GitHub?
It seems like you have to interact with github.com to initiate a pull request. Is this so? 11 Answers 11
Preferred Github workflow for updating a pull request after code review
I’ve submitted a change to an Open Source project on Github, and received code review comments from one of the core team members. … Read more
How do you attach a new pull request to an existing issue on github?
I’m not sure, but I have a vague memory of creating a github pull request with “Issue 4” or something in the title, … Read more
How can I check out a GitHub pull request with git?
I’d like to check out a previously created pull request (created via GitHub web interface). I searched and found different places where a … Read more
How to apply unmerged upstream pull requests from other forks into my fork?
A project on GitHub that I have a fork of has a new pull requests that I want to pull into my fork … Read more
Why is a git ‘pull request’ not called a ‘push request’?
The terminology used to merge a branch with an official repository is a ‘pull request’. This is confusing, as it appears that I … Read more