Subject: Re: [boost] [git] some fetch errors
From: Vinnie Falco (vinnie.falco_at_[hidden])
Date: 2016-10-09 17:22:17
On Sun, Oct 9, 2016 at 5:20 PM, Andrey Semashev
<andrey.semashev_at_[hidden]> wrote:
> Forced pushes has caused me headache in the past as well. Is there a way on
> GitHub to prohibit forced pushes to a certain branch?
Yes, the feature is called "Protected Branches" and detailed here:
https://help.github.com/articles/about-protected-branches/