<div dir="auto">Hi<div dir="auto"><br></div><div dir="auto">I've been bitten twice no because lwip uses main instead of master. Although I am not offended by having the trunk be named master, I understand others do care. </div><div dir="auto"><br></div><div dir="auto">I'd like to propose that short term we change lwip main to master for consistency with existing repos. This helps avoid stupid mistakes because lwip is the odd case.</div><div dir="auto"><br></div><div dir="auto">Longer term, we may want to change the name master in all repos. But we need to agree on a new name, socialize it, update documentation, and announce it. It's more than a simple set of git commands impacting only a few people.</div><div dir="auto"><br></div><div dir="auto">Can we come to some agreement on what to do? </div><div dir="auto"><br></div><div dir="auto">Thanks</div><div dir="auto"><br></div><div dir="auto">--joel</div></div>