+ [10 years ago] gitinfo Rewriting public history is not recommended. Everyone who has pulled the old history have to do work (and you'll have to tell them to), so it's infinitely better to just move on. If you must, you can use `git push -f <remote> <branch>` to force (and the remote may reject that, anyway). See http://goo.gl/waqum
+ [10 years ago] thibaultcha It's up to you, if nobody pulled your branch, you're fine.
+ [10 years ago] t4nk442 ok tks thibaultcha

message no. 60278

Posted by Blaster in #github at 2014-11-10T09:31:23Z

zerowidth: Not if you squash the PR though, right?
+ [10 years ago] unstable What is a good markdown editor? WYSWIG / GUI
+ [10 years ago] unstable Just so I get familiar with things, then I'll gradually learn the syntax