Renaming the repositories' primary branches

Now that the CR publication is behind us, I propose to go ahead and rename the primary branches from 'master' to 'main' for the following repositories:

did-spec-registries
did-use-cases
did-rubric
did-test-suite

I propose to do this tomorrow, 25th of March.

In my experience with other repositories the transfer goes mostly smoothly. When done, I will circulate the set of git commands that you will have to issue in your local clones (if you have any), although those commands are also shown in a github popup the first time you go to that repository with your login. If you have active PR-s from a clone, those are automatically re-assigned by github, you do not have anything to do. I am not sure whether that is also true if you have a PR from a forked repository (as opposed to a clone of the core repository itself), better check.

There is one hiccup that I have experienced several times: the gh-pages feature, ie, to look at the editor's draft served from github, often goes wrong and you get a 404. I have my tricks now on how to settle that, and I hope it will work out this time, too, but if you experience a problem you will have to shout at me… (In any case, a reload in your browser bypassing the browser cache is always a good idea…)

Cheers

Ivan

----
Ivan Herman, W3C 
Home: http://www.w3.org/People/Ivan/
mobile: +33 6 52 46 00 43
ORCID ID: https://orcid.org/0000-0003-0782-2704

Received on Wednesday, 24 March 2021 08:05:42 UTC