Contributors mailing list archives

Re: github protected branches

Therp, Holger Brunn
- 21/12/2016 14:20:29
> Direct push must be allowed for these tools to function properly, so I
> deactivated the mandatory travis check protection on OCA/project for now.

shouldn't we better add the account used by the tools to the group that
can push on protected branches?
Protected branches are a good thing to avoid accidental `push --force`s
messing up everything. This happened in the past.

Therp - Maatwerk in open ontwikkeling

Holger Brunn - Ontwerp en implementatie

phone: +31 (0)20 3093096