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

Posted by ericP in #github at 2016-12-09T08:08:07Z

pull reqs, e.g. <https://github.com/shexSpec/spec/pull/2>, have a "command line instructions" link which displays merge text like "git merge --no-ff labra-gh-pages".
+ [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