[hibernate-dev] GitHub options to disable force pushing

andrea boriero dreborier at gmail.com
Tue Nov 24 11:22:35 EST 2015


+1

On 24 November 2015 at 15:58, Sanne Grinovero <sanne at 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 at lists.jboss.org
> https://lists.jboss.org/mailman/listinfo/hibernate-dev
>


More information about the hibernate-dev mailing list