Ed Bueler <elbue...@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.