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

Posted by Stump_ in #github at 2016-12-09T23:15:36Z

ThiefMaster: You mean an older commit that got amended can be referenced by another branch and hence the issues page needs to get littered with which commits reference the issue?
+ [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