- From: Dominique Hazael-Massieux <dom@w3.org>
- Date: Mon, 15 Feb 2021 09:13:05 +0100
- To: "public-webrtc@w3.org" <public-webrtc@w3.org>
Le 12/02/2021 à 09:29, Dominique Hazael-Massieux a écrit : > I haven't heard any pushback so I'll proceed with that plan on Monday. The migration has now been completed; if you have a local copy of one of the repos listed below, please make sure to run the following commands to point to the right default branch: >> git branch -m master main >> git fetch origin >> git branch -u origin/main main Dom > Le 05/02/2021 à 09:55, Dominique Hazael-Massieux a écrit : >> 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 Monday, 15 February 2021 08:13:09 UTC