Super User is a question and answer site for computer enthusiasts and power users. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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.

share|improve this question

closed as off-topic by fixer1234, mdpc, Kevin Panko, random Jun 10 '15 at 12:52

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "This question is not about computer hardware or software, within the scope defined in the help center." – fixer1234, mdpc, Kevin Panko, random
If this question can be reworded to fit the rules in the help center, please edit the question.

    
This is why GitLab's protected branche workflow is so cool: github.com/gitlabhq/gitlabhq/blob/… – Ciro Santilli 巴拿馬文件 六四事件 法轮功 Jun 3 '14 at 11:59
up vote 4 down vote accepted

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.

share|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
share|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 at 14:33
    
@firegurafiku I know, that’s why it isn’t the accepted answer. – user137369 Mar 28 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 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.

share|improve this answer
    
The pull request is there, but it shows "Unknown branch" for me. – Ciro Santilli 巴拿馬文件 六四事件 法轮功 Jun 3 '14 at 11:57
    
But the diff is still there, so the original branch being unknown doesn't really matter. – balu Mar 12 '15 at 16:58

Not the answer you're looking for? Browse other questions tagged .