[petsc-dev] Fwd: [petsc-users] new book introducing PETSc for PDEs

[Jed Brown]

Ed Bueler <elbueler at alaska.edu> writes:

>> You should be able to click "Add rule" here
>> https://github.com/bueler/p4pdes/settings/branches
>
> Nope.  Try it.  Restricting branches is not one of the options under
> "github pro" public repo ownership.  (Nothing about the github
> manage access interface is informative about admins and/or
> collaborator permissions etc.)
>
> However, adding required MR reviews onto master is an option, and I can
> leave "Include Admins" unchecked; I have done that.   I'll see if these
> settings are smooth for me.

I think that's what I meant. In any case, we use it in libceed and I see
the ability in other personal repositories. I'm not sure what's missing
from your view, but requiring MRs for non-admin (you) should be enough.