W3C home > Mailing lists > Public > public-silver@w3.org > February 2021

main branch renamed in Silver repository

From: Michael Cooper <cooper@w3.org>
Date: Tue, 16 Feb 2021 08:37:02 -0500
To: Silver Task Force <public-silver@w3.org>
Message-ID: <19f1c3aa-dccf-0344-b8e7-b50f92a6a2e6@w3.org>
The name of the main branch in the Silver GitHub repository has been 
changed to "main". Most things will automagically update. If you use a 
non-GitHub client for accessing the repository, you should run the 
following commands to update your clone:

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

Received on Tuesday, 16 February 2021 13:37:04 UTC

This archive was generated by hypermail 2.4.0 : Thursday, 24 March 2022 20:31:51 UTC