On 10 feb 2014, at 11:30, Jerry Lundström <jerry at opendnssec.org> wrote: > Are we going to restrict push access to the repository as we do with the others so all users, even developers, must use pull requests? Yes, please. Restrict push to the "release-managers" group. jakob