besides @Dune i'd split #development into a channel where you get the github pings and one where to discuss development (well, rather just make it readonly and discuss development here or in #bridge )
I thought about that too but git isn't always as active and spammy as now. Kinda exceptional :)
22:20
Being able to react to a commit or to conclude a discussion by an issue is nice I think.
If the ratio of git messages/chat stays too high I'll consider splitting