+ [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. 60239

Posted by Blaster in #github at 2014-11-10T00:14:41Z

I have been pushing commits to a PR constantly but it doesn't show on the activity history on the profile. :\
+ [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