Released PyPI versions have tags missing from repo

[Wim Jeantine-Glenn]

There maybe some others, I didn't check, but 8.16.1 was the one I was looking for:

https://pypi.org/project/ipython/8.16.1/

$ git checkout 8.16.1
error: pathspec '8.16.1' did not match any file(s) known to git

Where can I find tags for the PyPI releases?

[M Bussonnier]

8.16.1 should be a2af83d, i'll fix the tag.

[M Bussonnier]

tags pushed.

[Wim Jeantine-Glenn]

@Carreau Thank you.