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
> 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 acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk