We’ve been using IRC service on GitHub, I assume it is to post any activities happening on GitHub to IRC.
Since service is being deprecated by GitHub;
- Is there a replacement for this service?
- Should we write our own replacement?
- Should we be using Zulip more instead of IRC?
- (Probably controversial question) Do we want to continue using IRC, now that we have many other communication channels?
I personally don’t use IRC myself, but I know several core devs do.