Skip the dead code lint for the IRC bot

It’s normally just noise and is typically a minor nuisance,
so let’s remove it altogether.