<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Sep 29, 2022 at 4:24 PM Chris Johns <<a href="mailto:chrisj@rtems.org">chrisj@rtems.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">On 30/9/22 4:00 am, Joel Sherrill wrote:<br>
> I'd like to propose that short term we change lwip main to master for<br>
> consistency with existing repos. This helps avoid stupid mistakes because lwip<br>
> is the odd case.<br>
<br>
I propose we use devel. I prefer it over main.<br></blockquote><div><br></div><div>I'm ok with that. But no one else has spoken up. </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
When should we change away from master?<br></blockquote><div><br></div><div>As I said, I'd switch lwip from main to master NOW and discuss a switchover</div><div>point to "new name" for everything. I'd be ok doing it after branching 6. But </div><div>we need 6 to actually branch. :(</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
> Longer term, we may want to change the name master in all repos. But we need to<br>
> agree on a new name, socialize it, update documentation, and announce it. It's<br>
> more than a simple set of git commands impacting only a few people.<br>
> <br>
> Can we come to some agreement on what to do? <br>
<br>
New git versions warns you about the use of master when creating a new repo and<br>
at a guess this is why the repo has main. I am using devel in rtems-deployment<br>
so there will be a mix.<br></blockquote><div><br></div><div>Using old git versions avoids that. :)</div><div><br></div><div>--joel </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
Chris<br>
</blockquote></div></div>