+ [2019-05-02T23:07:56Z] exegesis how do i host html files on my github page?
+ [2019-05-02T23:33:24Z] exegesis got it :D

message no. 172066

Posted by HewloThere in #github at 2019-05-02T11:18:19Z

hey, i was wondering how i can get the "abbreviated" commit id from the full commit id? i.d. 360ba7a is the shorthand one and the 360ba7a4570a5ac6eb4cbadf0a8c38cf52e70c94 is the long.
+ [2019-05-03T01:16:21Z] jamespharvey20 If I made a fork, pushed a branch with a bugfix, and made an upstream pull request... Then I see something needs to be changed, I understand the pull request is tied to my fork's branch and I just need to modify my branch. What's the way to proceed so only a single commit is still given in the pull request? Is it safe to do a fixup and force pushing it? I know pushing rewritten history is usually bad to
+ [2019-05-03T01:16:22Z] jamespharvey20 do, but not sure it's bad in this scenario.
+ [2019-05-03T01:26:51Z] nedbat jamespharvey20: it's fine to force push in this case.
+ [2019-05-03T01:27:08Z] nedbat the important history will be when it is merged to master
+ [2019-05-03T01:27:39Z] jamespharvey20 nedbat: Thanks! Seemed like this was an exception to the rule, but didn't want to screw it up!