Take the 2-minute tour ×
Super User is a question and answer site for computer enthusiasts and power users. It's 100% free, no registration required.

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 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

3 Answers 3

No. But if you email the developer a git-style patch instead, he or she will be able to integrate that with basically the same amount of trouble as a pull request (i.e., next to none).

To generate a git am-style patch, use the git format-patch command:

$ git format-patch <since>

where <since> is the hash of the commit or the branch name you want to diff from. You can also supply a revision range in the traditional git style.

This will create one patch per commit. Once you email the generated patches to the developer, he or she can import them with a simple git am <patches>.

share|improve this answer
    
Great answer. Short and easily understandable. Thank you very much. –  user137369 Feb 3 '13 at 2:26

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 at 16:58
up vote 1 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

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