Branch: refs/heads/main Home: https://github.com/hibernate/hibernate-orm Commit: f22d60ec4144f98c3d83bbe0c0dc28112a4dc600 https://github.com/hibernate/hibernate-orm/commit/f22d60ec4144f98c3d83bbe... Author: Yoann Rodière <yoann(a)hibernate.org&gt; Date: 2024-06-13 (Thu, 13 Jun 2024) Changed paths: M ci/release/Jenkinsfile Log Message: ----------- Release Jenkinsfile: add a configurable constant to enable/disable release on push To unsubscribe from these emails, change your notification settings at https://github.com/hibernate/hibernate-orm/settings/notifications