IRC bot that provides full URLs when GitHub issues (‘#123’) or users (‘@yyyy’) are mentioned - View it on GitHub