+ [2020-04-10T17:56:20Z] linarcx There should be an option that let users to delete closed PRs.
+ [2020-04-10T18:00:38Z] linarcx Actually I've closed this one. But i want to completely delete that pr: https://github.com/void-linux/void-packages/pull/20076
+ [2020-04-11T00:29:17Z] xochon so i got to the oauth authoriztion page and saw my repos, i tapped the button..revoke was it?..and now my repos show a red x next to them, cant authorize my bot app for them. How do I get rid of the red x so I can use the repos?
+ [2020-04-11T00:37:39Z] xochon github repo settings -> third party access
+ [2020-04-11T00:37:41Z] xochon thats the answer

message no. 179163

Posted by xochon in #github at 2020-04-11T00:29:17Z

so i got to the oauth authoriztion page and saw my repos, i tapped the button..revoke was it?..and now my repos show a red x next to them, cant authorize my bot app for them. How do I get rid of the red x so I can use the repos?
+ [2020-04-12T07:20:05Z] xco sharing a gem/CLI i created to track COVID-19 in your terminal: https://github.com/siaw23/kovid
+ [2020-04-12T07:33:25Z] roboirc thanks xco
+ [2020-04-12T07:34:17Z] xco roboirc you're welcome. i'm just bored stayin indoors hence this creation :)
+ [2020-04-12T08:08:47Z] roboirc good job xco
+ [2020-04-12T08:14:23Z] roboirc xco: does it have an api too?