Re: [boost] [git] some fetch errors

On 10/10/16 00:22, Vinnie Falco wrote:

On Sun, Oct 9, 2016 at 5:20 PM, Andrey Semashev 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/

Looks perfect. Then it might be a good idea to mark master and develop as protected in all repos under boostorg.