Кто-нибудь знает IRC-бота, к которому я могу подключать репозитории git или напрямую подключаться к gitolite? Надо ли писать самому?
ЦРУ в данном случае не вариант.
Если gitolite предоставляет RSS-канал, есть несколько ботов, передающих RSS-канал.