+ [2019-07-13T17:08:03Z] tshirtman so for a test i created the tshirtman.github.io repository, and it worked, then i deleted it, and i saw i already a page there, edited long ago, under the old url scheme (when it was .github.com) so i deleted that repository too, as i don't seem to keep it up to date at all, but even with the repository deleted, the page is still up (and it's not in my browser's cache, i tried from curl as well)
+ [2019-07-13T18:54:59Z] R2robot maybe there is a batch job that does the cleanup that hasn't/hadn't run yet
+ [2019-07-13T19:32:19Z] energizer CI passed, but github says "Travis CI - Pull Request Expected — Waiting for status to be reported", stuck here forever. anybody seen this before?
+ [2019-07-14T20:02:50Z] CarlFK is there a way to search a user's wikis ?
+ [2019-07-14T20:03:22Z] CarlFK or see a list of all the project with wiki

message no. 174209

Posted by CarlFK in #github at 2019-07-14T20:03:22Z

or see a list of all the project with wiki
+ [2019-07-15T10:26:28Z] is_null hi all, how to remove some checks in the oauth authorization page ? to remove some orgs
+ [2019-07-16T14:38:38Z] kezimo I would really appreciate it if you wouldn't.
+ [2019-07-16T14:48:45Z] vadique hi, when I do git push, what is expected as "Username for 'https://github.com'"?
+ [2019-07-16T14:58:19Z] vadique ah, I need to re-clone the repo when I'm logged in
+ [2019-07-17T01:36:29Z] snappy how do i view my invites to an organisation - i was meant to receive an email but didn't