Email notification and IRC hook for dirauth-conf repository is broken
I realized yesterday that pushing changes to the dirauth-conf repo is not causing a notification in #tor-internal anymore and it seems we don't get notification mail anymore either.