Can I delete my fork before the pull request gets accepted? [closed]

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.

Solution 1:

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.

Solution 2:

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

Solution 3:

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.