An IRC bot designed to inform of repository pushes for git and hg