+ [2019-07-10T22:13:13Z] JadElClemens and if not? Does it only alter the base commit of the branch?
+ [2019-07-11T14:06:14Z] birkoff is there a way to report an 'orphan' project?
+ [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?

message no. 174207

Posted by energizer in #github at 2019-07-13T19:32:19Z

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
+ [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'"?