[hibernate-commits] [hibernate/hibernate-orm] 07edde: Add missing `script` attribute to the Jenkins command