Repository renames

Dear all,

the default branch name of all the repositories, managed by the JSON-LD WG, have been renames from 'master' to 'main'. If you have a local clone on your system, you should perform the following commands from a terminal in your repository:

git branch -m master main
git fetch origin
git branch -u origin/main main

Thanks to Gregg who did all the work:-)

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