CI: How about using the right IRC channel?