[hibernate-dev] ci@hibernate.org vs jenkins@hibernate.org

All, in various build configuration on ci.hibernate.org, it's using an email alias "jenkins(a)hibernate.org". Please use "ci(a)hibernate.org" instead, as the other one triggers errors being sent to me in large volumes.. I've tried to get rid of them myself over time, but it seems you all are fighting back on that when updating / creating new jobs :) So the right email to use is: ci(a)hibernate.org thanks, Sanne