- From: Markus Sabadello <markus@danubetech.com>
- Date: Wed, 24 Mar 2021 11:32:30 +0100
- To: public-did-wg@w3.org
+1 to doing this tomorrow. My experience has been similar to yours, i.e. this type of change in other repos has so far always worked very smoothly. Markus On 24.03.21 09:05, Ivan Herman wrote: > 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/ <http://www.w3.org/People/Ivan/> > mobile: +33 6 52 46 00 43 > ORCID ID: https://orcid.org/0000-0003-0782-2704 > <https://orcid.org/0000-0003-0782-2704> >
Received on Wednesday, 24 March 2021 10:32:46 UTC