+ [2020-05-29T23:29:05Z] nedbat fks: you missed a chance to learn something about the very question you asked.
+ [2020-05-29T23:29:21Z] nedbat fks: why keep asking it, and why in this channel in particular?
+ [2020-05-29T23:29:49Z] fks who is more likely to never come back to freenode someone who joined freenode for 1 week or somebody who joined freenode 10 years
+ [2020-05-29T23:29:52Z] fks ago
+ [2020-05-29T23:30:15Z] nedbat fks: ok, stick to your preconceptions. no need to ask if you don't want to hear the answer.

message no. 181364

Posted by IanLiu in #github at 2020-05-29T02:20:54Z

I've removed my github's custom domain, but accessing my github's page still redirects me to the custom domain. Should this update be immediate?
+ [2020-05-30T19:16:54Z] Celelibi Hi there.
+ [2020-05-30T19:17:41Z] Celelibi I made a PR from the hub CLI. The related issue wasn't closed when the PR was merged. Is that an issue with the hub CLI ?
+ [2020-05-30T19:18:16Z] Celelibi Here's the PR: https://github.com/jlu5/PyLink/pull/659
+ [2020-05-30T22:11:38Z] R2robot my PRs never get closed. I figured it was just normal hehe