[PD-dev] adding tags to pure-data.git

[Hans-Christoph Steiner]

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