Re: Renaming default branch of WebNN repo

Le 04/06/2021 à 09:31, Dominique Hazael-Massieux a écrit :
> Renaming these branches is mostly seamless, except that anyone with a
> local checkout of the repo will need to run a few commands once that
> renaming has been done, as documented in:
>   https://lists.w3.org/Archives/Public/spec-prod/2021JanMar/0017.html
> 
> I'm planning to do that renaming for the WebNN repo this Monday (June 7)
> morning central european time - please let me know if this schedule is
> problematic for any reason.

The renaming has now been done - please update your local clone with:
git branch -m master main
git fetch origin
git branch -u origin/main main
git remote set-head origin -a

Dom

Received on Monday, 7 June 2021 07:10:34 UTC