+1 On 24 November 2015 at 15:58, Sanne Grinovero <sa...@hibernate.org> wrote:
> 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 > _______________________________________________ hibernate-dev mailing list hibernate-dev@lists.jboss.org https://lists.jboss.org/mailman/listinfo/hibernate-dev
