dgw
commented
6 years ago Annoying… I renamed the branch locally to tell-github-about-issues after deciding to leave Zigdon's name in there, and deleted the old branch name from GitHub. But when I pushed it up GitHub used the old name again anyway. Must've missed a step somewhere. Sigh.
Not really worth making a new PR, just irritating.
For instances of Bucket other than the main one, users may have no idea who Zigdon is or how to contact him, because they are on a different IRC network. Linking to Bucket's GitHub issue tracker will make getting a report of these errors more likely.
Happened to notice these error messages while reading through the code to work on another issue.