Hi Mattia, yay, thanks for your hints!
> Picking a random repository, I noticed no integration was enabled. > Can I suggest: > + email on push to [email protected] ¹ > + irc notification to #debian-med > + tagpending hook Cool, didn't know these were already existing and usable. :) Will look into this right away. Cheers Sascha
