Subject: Re: [boost] [git] some fetch errors
From: Andrey Semashev (andrey.semashev_at_[hidden])
Date: 2016-10-09 17:29:47
On 10/10/16 00:22, Vinnie Falco wrote:
> 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:
Looks perfect. Then it might be a good idea to mark master and develop
as protected in all repos under boostorg.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk