rust-lang/rust-playpen — pull request #21 by chris-morgan (2014-06-18 06:41:36+00:00)
Title: 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.