+ [2019-10-15T22:21:30Z] jhass maybe easier to switch your OS xD
+ [2019-10-15T22:45:22Z] disi how do i enable branch protection for 2 disparately named branches? i've tries `master|other` and `{master,other}`
+ [2019-10-15T23:01:57Z] Rich_Morin I can't figure out how to edit a commit message using GitHub's web UI. Help?

message no. 175043

Posted by neure in #github at 2019-10-15T08:53:27Z

I just made a bad forced push to PR
+ [2019-10-16T00:03:52Z] nedbat Rich_Morin: i don't think there is a way
+ [2019-10-16T00:43:42Z] Rich_Morin Well, I sent an inquiry in to GH central. Let's see...
+ [2019-10-16T00:46:33Z] nedbat Rich_Morin: why is it important to edit it through the web ui?
+ [2019-10-16T00:47:07Z] nedbat Rich_Morin: are you trying to change an existing commit? Or make a new commit?
+ [2019-10-16T00:49:24Z] Rich_Morin See https://github.com/balena-io/etcher/pull/2919 for details. And no, I don't think I should have to clone their repo locally in order to fix a tiny docubug.