On Mon, 30 Oct 2023 at 22:09, Stefan Hajnoczi <stefa...@gmail.com> wrote: > > On Mon, 30 Oct 2023 at 19:09, Peter Maydell <peter.mayd...@linaro.org> wrote: > > 'git.linaro.org' has several geolocated servers and pushes to > > it should get mirrored across to all of them. Maybe the > > syncing between them went wrong? You could try using one > > specific one: > > https://git-us.linaro.org/people/pmaydell/qemu-arm.git > > tags/pull-target-arm-20231027 > > > > git-ie.linaro.org also seems to have the tag. > > Yes, that solves the problem. DNS was resolving to git-ap.linaro.org > for me and it doesn't have the tag.
This was a problem with that specific mirror server; it has been resolved, and future pulls with 'git.linaro.org' should work as usual. thanks -- PMM
