Hi all, GitHub now provides an option to: - prevent pushing with the "force" option to a specific branch - prevent people to delete a specific branch
Considering our workflow and also to prevent user mistakes, I think we should enable them on the reference repositories (the ones in github.com/hibernate ). I did enable this for Hibernate Search. If someone has good reason to want delete a branch or push with "force" it's just two clicks away to disable it.. at least I feel confident against unintentional mistakes. Thanks, Sanne _______________________________________________ hibernate-dev mailing list hibernate-dev@lists.jboss.org https://lists.jboss.org/mailman/listinfo/hibernate-dev
