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:
https://help.github.com/articles/about-protected-branches/


Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk