[hibernate-commits] [hibernate/hibernate-search] 16d71c: Add a build discarder property to the Jenkinsfile