Renaming the master branches

Dear Editors,

The message was sent to team contacts for them to work on migrating the
'master' branches on GitHub.

If you're using this branch name, you should expect to hear
from your team contacts in the upcoming weeks.

Thank you,

Philippe

[[

we'd like W3C to stop using the name 'master' for the GitHub branches by
the April 2021 AC meeting.

Dom added the repositories that are still using this name in one of
our reports:

https://w3c.github.io/validate-repos/report.html?grouptype=workinggroup&filter=defaultbranchismaster
(this report is updated every 6 hours)

We recommend pre-announcing the move before doing so, so that anyone who
would have local copy, e.g. WG participants, will be alerted. See
Atsushi announcement to Immersive Web:

https://lists.w3.org/Archives/Public/public-immersive-web-wg/2021Jan/0004.html

You'll need to start by renaming the branch on the server (github.com)
side. See later in this message on how you can do that but make sure
to read this message entirely before starting any action. We recommend
using 'main'. This whole process could take from 2 minutes to a lot more
(if you're using CI, etc.).

Now, before you go and renaming things, understand the following 2
actions will need to be taken after the renaming is done:

1- if you are using some CI integration, those may rely on the branch
name 'master'. Check your .travis.yml, github actions, scripts, respec
config, etc and
update appropriately. I recommend looking for the keyword 'master' to
track those down, eg
 https://github.com/w3c/ttml2/search?q=master

2- local copies of the repositories (yours and WG participants) will
need an action as well:

 https://docs.github.com/en/github/administering-a-repository/renaming-a-branch#updating-a-local-clone-after-a-branch-name-changes

Denis also provided:
[[
$ git checkout master
$ git branch -m master main
$ git fetch
$ git branch --unset-upstream
$ git branch -u origin/main
$ git symbolic-ref refs/remotes/origin/HEAD refs/remotes/origin/main
]]

  If you make sure that you don't have pending things on your side, an
easier way is to delete your local copy and clone the repositories.


To rename the branch in the repository on Github.com, you go into the
settings of your
repo, select "Branches", and you'll find the way to rename the branch
there. See also
  https://github.com/github/renaming

Make sure things work as expected afterwards, including the github.io
URLs (GH may not
regenerate properly)

If you need assistance, please ask on the IRC channel #git,

Thank you,

Philippe

with many thanks Dom, Denis, and Atsushi
]]

Received on Tuesday, 2 February 2021 16:08:08 UTC