Closed taoeffect closed 9 years ago
Figure out the deal with GitHub's IRC integration, and maybe use their webhook API instead of the services (which doesn't seem to report anything about issues to the channel).
Closed since we switched to Gitter where this isn't a problem.
Figure out the deal with GitHub's IRC integration, and maybe use their webhook API instead of the services (which doesn't seem to report anything about issues to the channel).