renaming git branches

Just a heads-up that we will need to rename the master branches, see 
this message on spec-prod list:

https://www.w3.org/mid/c947aa42-1a6b-a4cd-e312-85cee0725c02@w3.org

If you have a local checkout you may see some churn when that happens.

David

Disclaimer

The Numerical Algorithms Group Ltd is a company registered in England and Wales with company number 1249803. The registered office is:
Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom.

This e-mail has been scanned for all viruses and malware, and may have been automatically archived by Mimecast Ltd, an innovator in Software as a Service (SaaS) for business. 

Received on Tuesday, 2 February 2021 16:15:28 UTC