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.