
<html><body><div>On Oct 07, 2013, at 09:44 PM, Walter Bright <walter@digitalmars.com> wrote:<br><br><div><blockquote type="cite"><div class="msg-quote"><div class="_stretch">An example:<br> <br> <a href="https://github.com/D-Programming-Language/dmd/pull/2615" data-mce-href="https://github.com/D-Programming-Language/dmd/pull/2615">https://github.com/D-Programming-Language/dmd/pull/2615</a><br> <br> See all those extra commits in there? That's because I did a:<br> <br> git push -f<br> </div></div></blockquote><span></span><br>Why did you do a force push in the first place? If you can't push, you shouldn't just blindly add "-f" to force the push. You should stop and think of why you can't push it without force in the first place. You need to stop doing this. No offense, but you obviously can not completely handle git. Either learn how to handle it or ask some one, BEFORE you're doing something like this.<br><br><blockquote type="cite"><div class="msg-quote"><div class="_stretch"> from the wrong branch. Git, miserable program that it is, has no:<br> <br> git undo<br> <br> which it so desperately needs. Anyhow, this royally borked up github. Brad <br> Roberts came riding the rescue, and got the damage to the main repo undone. <br> However, the PR's did not fix themselves.</div></div></blockquote><span></span><br>I don't know what exactly had happened or how Brad "fixed" this, but I'm pretty sure it's possible to correctly fix this without breaking the pull requests. Just reset back the history to the sate it was before the force push. Since you already made a push force, another push force is needed to fix the problem. Then correctly make the changes you wanted to make.<br><br>--<br>/Jacob Carlborg<br></div></div></body></html>