- From: Dominique Hazael-Massieux <dom@w3.org>
- Date: Fri, 5 Feb 2021 09:55:35 +0100
- To: "public-webrtc@w3.org" <public-webrtc@w3.org>
Hi,
W3C is in the process of migrating away from using "master" as the main
branch for its repos:
https://lists.w3.org/Archives/Public/spec-prod/2021JanMar/0017.html
I'm proposing to migrate our WebRTC WG repos that still use that name on
February 15 European morning. The list of repos that will change is:
w3c/mediacapture-automation
w3c/mediacapture-image
w3c/mediacapture-main
w3c/mediacapture-output
w3c/mediacapture-record
w3c/mediacapture-scenarios
w3c/webrtc-extensions
w3c/webrtc-ice
w3c/webrtc-identity
w3c/webrtc-insertable-streams
w3c/webrtc-interop-reports
w3c/webrtc-nv-use-cases
w3c/webrtc-pc
w3c/webrtc-priority
w3c/webrtc-provisional-stats
w3c/webrtc-respec-ci
w3c/webrtc-stats
w3c/webrtc-svc
What this means in practice is that if you have a local clone of the
repo, you'll need to run the following commands:
git branch -m master main
git fetch origin
git branch -u origin/main main
Github itself will remind you of the need to update your local clone if
you try to pull from the previous name.
Please let me know if you have any concerns with that plan and its timing.
Dom
Received on Friday, 5 February 2021 08:55:38 UTC