Hi Gary, On Fri, 10 Mar 2023 at 12:47, Gary Gregory <garydgreg...@gmail.com> wrote: > So the branch renaming broke cloning and checking out code with the most > basic git command? At least that's what the side effect seems to me. What's > the fix? Or will no one ever be able to say 'git clone' as below and have > it just work?
I think we must open an INFRA ticket. HEAD on Github points to `2.x`, whereas the HEAD on Gitbox points to the non-existent `release-2.x`. They should be synchronized, but apparently are not. Piotr
