Missing git tag for 2025.7.0?

[musicinmybrain]

I see release 2025.7.0 on PyPI, but I do not yet see a git tag corresponding to the PyPI release. Would you mind pushing the tag when you have a chance? Thanks!

[martindurant]

Fixed, thanks.