+ [2020-06-29T23:26:49Z] amosbird Hello, how can I revert back the new github style
+ [2020-06-29T23:26:51Z] amosbird it's very bad
+ [2020-06-29T23:27:10Z] amosbird http://la.wentropy.com/b978af57ffca949f
+ [2020-06-29T23:27:22Z] amosbird the top div should be centerend
+ [2020-06-29T23:46:17Z] nedbat amosbird: you can write a Stylus design for it. people have already started some.

message no. 182941

Posted by kreyren in #github at 2020-06-29T23:25:21Z

https://github.com/sindresorhus/refined-github/pull/3299 and you shall all be saved from the M$-induset misery!
+ [2020-06-30T00:55:13Z] amosbird nedbat: ok
+ [2020-06-30T00:55:24Z] amosbird hmm, can I fix a github edit generated pr?
+ [2020-06-30T00:55:33Z] amosbird I don't like to create a local repo and git push
+ [2020-06-30T04:13:35Z] wwalker How do I see a list of pull requests others have against my repos? All my searches tell me how to find my pull requests in others repos (github.com/pulls)
+ [2020-06-30T04:21:15Z] laokz hi all. how to withdraw one commit of a pull request at github web? (no local repo)