Renaming the master branches from Philippe Le Hegaret on 2021-02-02 (spec-prod@w3.org from January to March 2021)

From Philippe’s message [1], the WG and CG repositories continue to use the “master” branch. I’ll be going through a process of renaming these to “main”, which should mostly be fairly transparent. However, if you have cloned any of the repositories, you will need to take some action as indicated in Philippe’s email.

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.

I’m going to start with some of the CG repositories.
 
Gregg Kellogg
gregg@greggkellogg.net

[1] https://lists.w3.org/Archives/Public/spec-prod/2021JanMar/0017.html

Received on Tuesday, 2 February 2021 23:51:10 UTC