I made a fork of a project on github, did a small correction and submitted a pull request. However, from every pull request “in line”, I can see that this developer will take a long time before reviewing mine. The thing is I don’t want the repository — I just forked it to solve that issue (that the developer itself had in the TODO).

My question is: if I delete the repository from my account, will the developer still be able to accept the pull request? It’s a change of just a few lines.


Yes, it can be done. From Gitub’s page on checking pull requests locally:

If a fork was deleted, the pull request can still be merged.

| improve this answer | |

Yes, all pull requests are available in the destination repository, even if the fork is deleted before it's merged. The Git tree can be found at the refspec pull/###/head, where ### is the pull request number. The original project's owner can merge using the GitHub web interface or on the command line by downloading the branch:

git fetch origin pull/###/head:pullrequest
git merge pullrequest
| improve this answer | |
  • Great answer. Short and easily understandable. Thank you very much. – user137369 Feb 3 '13 at 2:26
  • @user137369: Great, but wrong. – firegurafiku Mar 28 '16 at 14:33
  • @firegurafiku I know, that’s why it isn’t the accepted answer. – user137369 Mar 28 '16 at 17:56
  • Hmm, yep, this seems to have changed since I posted it (or I was originally incorrect). I'll edit to reflect the new info. – thirtythreeforty Mar 28 '16 at 18:40

I just deleted a fork, and both the open issue and the relative pull request are still there, so I think it can be done.

| improve this answer | |

Not the answer you're looking for? Browse other questions tagged or ask your own question.