Dear all, Back when we moved from the master branch being under constant development to a dual "master-as-stable" and "develop" branch setup, there was talk of renaming the master branch. Though, at this time, it seemed unconventional so avoided doing so. In the past few months there has been greater momentum in the direction of allowing git repositories to call their default branch whatever they wish. For example, Github is reworking things in this regard ( https://github.com/github/renaming/) and defaulting new repos to have "main" as the default branch.
Our GoogleSource/Gerrit setup allows us to set HEAD to point towards whatever branch we wish. We therefore think v20.1 would be a good time to rename "master" to "stable". This afternoon I created a "stable" branch, identical to "master", here: https://gem5.googlesource.com/public/gem5/+/refs/heads/stable. The next step would be to redirect HEAD to this branch, then delete the master branch. Coinciding this with the release of v20.1 (in roughly 2 weeks time) seems like an ideal timing. I'm writing this email to ask if the community agrees with this, and if there is anything I'm not taking into account. I believe this should be a fairly seamless transition, and will give our two branches more descriptive names --- stable and develop. Kind regards, Bobby -- Dr. Bobby R. Bruce Room 2235, Kemper Hall, UC Davis Davis, CA, 95616 web: https://www.bobbybruce.net
_______________________________________________ gem5-dev mailing list -- [email protected] To unsubscribe send an email to [email protected] %(web_page_url)slistinfo%(cgiext)s/%(_internal_name)s
