Davide D'Alto, any chance you could take a look at this? There is always the work-around of pulling the changes from ci.hibernate.org to your local machine and push from there, but of course the release job should be able to do this automatically.