ci: Fix the nick used in IRC reporting.