<div dir="ltr">Including list.<div><br></div><div>Ed<br><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">---------- Forwarded message ---------<br>From: <strong class="gmail_sendername" dir="auto">Ed Bueler</strong> <span dir="auto"><<a href="mailto:elbueler@alaska.edu">elbueler@alaska.edu</a>></span><br>Date: Mon, Nov 2, 2020 at 1:53 PM<br>Subject: Re: [petsc-dev] [petsc-users] new book introducing PETSc for PDEs<br>To: Jed Brown <<a href="mailto:jed@jedbrown.org">jed@jedbrown.org</a>><br></div><br><br><div dir="ltr">> You should be able to click "Add rule" here<br>> <a href="https://github.com/bueler/p4pdes/settings/branches" rel="noreferrer" target="_blank">https://github.com/bueler/p4pdes/settings/branches</a><div><br></div><div>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.)</div><div><br></div><div>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.</div><div><br></div><div>Ed</div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Nov 2, 2020 at 1:36 PM Jed Brown <<a href="mailto:jed@jedbrown.org" target="_blank">jed@jedbrown.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Ed Bueler <<a href="mailto:elbueler@alaska.edu" target="_blank">elbueler@alaska.edu</a>> writes:<br>
<br>
> satish> Perhaps if some of us get this (create branch) access at<br>
> <a href="https://github.com/bueler/p4pdes" rel="noreferrer" target="_blank">https://github.com/bueler/p4pdes</a> - the workflow is slightly<br>
> satish> simplified [and a fork can be avoided which would require toggle of<br>
> giturl as the MR progresses between<br>
> satish> fork url and upstream url - and the commit-ids that change as the<br>
> upstream MR progresses..]<br>
><br>
> I appreciate the desire to avoid working in forks, so I went ahead and<br>
> invited Barry, Jed, Satish as collaborators on p4pdes.  Please let me know<br>
> if there are others to invite.<br>
<br>
Thanks. I don't think this materially changes the workflow, but it does<br>
mean PETSc's configure doesn't need to learn how to switch remotes in<br>
packages it downloads, and .../packages/p4pdes.py can just name commits so<br>
long as review in bueler/p4pdes just results in new commits rather than<br>
editing/rebasing the branch.<br>
<br>
> Indeed, I suppose my preferred workflow on p4pdes is for collaborators to<br>
> create branches and do MRs.  It looks like actually restricting<br>
> collaborators from pushing on master is not something I can do.  ("The<br>
> ability to restrict branches is a type of branch protection that's<br>
> available for public and private repositories owned by organizations in<br>
> GitHub Team, GitHub Enterprise Cloud, and GitHub Enterprise Server.")<br>
> Other forms of protecting master look like they add steps to my own (direct<br>
> and minimal) workflow on master.<br>
<br>
You should be able to click "Add rule" here<br>
<br>
<a href="https://github.com/bueler/p4pdes/settings/branches" rel="noreferrer" target="_blank">https://github.com/bueler/p4pdes/settings/branches</a><br>
</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div>Ed Bueler<br>Dept of Mathematics and Statistics<br>University of Alaska Fairbanks<br>Fairbanks, AK 99775-6660<br>306C Chapman<br></div></div></div></div></div></div></div>
</div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div>Ed Bueler<br>Dept of Mathematics and Statistics<br>University of Alaska Fairbanks<br>Fairbanks, AK 99775-6660<br>306C Chapman<br></div></div></div></div></div></div></div></div></div>