An IRC-bot for broadcasting changes to git repositories