This has always made me nervous ever since it happened a few times
inadvertently after first moving to git. Thanks for pointing out that
they finally added support for that.
For reference...
On Tue, Nov 24, 2015, 10:24 AM andrea boriero <dreborier(a)gmail.com> wrote:
+1
On 24 November 2015 at 15:58, Sanne Grinovero <sanne(a)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(a)lists.jboss.org
>
https://lists.jboss.org/mailman/listinfo/hibernate-dev
>
_______________________________________________
hibernate-dev mailing list
hibernate-dev(a)lists.jboss.org
https://lists.jboss.org/mailman/listinfo/hibernate-dev