+ [2016-12-09T23:16:08Z] ThiefMaster fwiw, i don't think showing them is a good idea
+ [2016-12-09T23:16:13Z] ThiefMaster it's just a possible explanation
+ [2016-12-09T23:20:46Z] VxJasonxV it's go away once it's missing from all branches (and tags) and garbage collected
+ [2016-12-09T23:25:12Z] Stump_ VxJasonxV: Oh that's nice

message no. 158788

Posted by Seveas in #github at 2016-12-09T09:37:43Z

ericP: !sgc is the place for such feedback. GitHub staff isn't really around on IRC
+ [2016-12-11T02:15:16Z] EoN zzz: ahh great, thanks
+ [2016-12-11T02:23:08Z] zzz yw
+ [2016-12-11T02:49:16Z] jen_ i’d like to remove from history a specific commit on local and on github. I know git reset —hard Mastger~x will remove x number of commits from history from where I am at now.
+ [2016-12-11T02:49:24Z] jen_ but how do i remove a specific commit?
+ [2016-12-11T02:49:33Z] jen_ then git push —force