CI: less annoying IRC notifications