+ [2014-11-10T23:19:39Z] 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
+ [2014-11-10T23:19:55Z] thibaultcha It's up to you, if nobody pulled your branch, you're fine.
+ [2014-11-10T23:29:03Z] t4nk442 ok tks thibaultcha

message no. 60244

Posted by zerowidth in #github at 2014-11-10T04:15:24Z

Blaster: those show up once the PR is merged
+ [2014-11-11T02:31:21Z] dslip_au waves hello
+ [2014-11-11T03:03:08Z] unstable What is a good markdown editor? WYSWIG / GUI
+ [2014-11-11T03:03:18Z] unstable Just so I get familiar with things, then I'll gradually learn the syntax