Sure, but I don't feel like giving root access to Jenkins. I'm happy to merge the file and commit on ci.hibernate.org's git repo, and maintain that file.

Even updating that a couple of times won't be a big amount of work.