- 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