Boost logo

Boost :

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:

Boost list run by bdawes at, gregod at, cpdaniel at, john at