Github hook for IRC

Nous avons récemment mis en place au HAUM des Github hooks (ou services) sur nos principaux dépôts Git, afin que les membres de l'association soient automatiquement notifiés sur IRC des évènements intéressants y survenant (push, pull-request, commentaires, autres).

more ...