+[2020-05-29T23:29:05Z]nedbatfks: you missed a chance to learn something about the very question you asked. +[2020-05-29T23:29:21Z]nedbatfks: why keep asking it, and why in this channel in particular? +[2020-05-29T23:29:49Z]fkswho 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]fksago +[2020-05-29T23:30:15Z]nedbatfks: ok, stick to your preconceptions. no need to ask if you don't want to hear the answer.
+[2020-05-30T11:20:12Z]darthrevanhello +[2020-05-30T19:16:54Z]CelelibiHi there. +[2020-05-30T19:17:41Z]CelelibiI 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]CelelibiHere's the PR: https://github.com/jlu5/PyLink/pull/659 +[2020-05-30T22:11:38Z]R2robotmy PRs never get closed. I figured it was just normal hehe