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

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

If I squash a bunch of commits and then merge into master will I still get credit on my activity record for all the days I pushed code to the PR?
+ [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