- From: Gregg Kellogg <gregg@greggkellogg.net>
- Date: Tue, 2 Feb 2021 15:50:52 -0800
- To: W3C JSON-LD Working Group <public-json-ld-wg@w3.org>, Linked JSON <public-linked-json@w3.org>
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:15 UTC