notes actually pushed

I learned that git push --tags only pushes the tags not the cntent and tags apparently

badges are posted now, will re-run issue creation.

you can close the 404 ones and claim a community badge if you close that with a link to the tag for this release in the comment

Full Changelog: v12...v13.1