Hey Miller,
It would be very useful to have tags in your pure-data.git repo so its easy to find the releases. I'm happy to do the tagging and uploading to the official repo, or you can do it:
git tag 0.43.3 49d7e9c997afc3bfce8ce2ffea8a7c06a541d146
git tag 0.43.2 f24b62367300bac7345651da50d991b88af1dfae
...
git push --tags
Or to download the tags:
git fetch --tags
.hc