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

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

my guess it that most people who are doing a manual commit want to be able to review the changes. I think adding --no-commit would save a lot of people looking up how to reset the head and do the merge again with --no-commit
+ [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