I've just released optics-extra-0.4.2 and optics-0.4.2 but we are still on optics-core-0.4.1. Accordingly I think it makes more sense to have tags for individual package versions rather than tags that are just a version number. At the moment we have:
:+1: except for removing existing tags. (It's tricky to propagate the removal, e.g. if I git push --tags, I'll reintroduce them; someone in theory could use them as well. I.e. it's easier to just leave them).
I've just released
optics-extra-0.4.2
andoptics-0.4.2
but we are still onoptics-core-0.4.1
. Accordingly I think it makes more sense to have tags for individual package versions rather than tags that are just a version number. At the moment we have:I'm tempted to go back and add the missing tags for
optics{,-core,-extra,-th}
and delete thev0.N
tags.Seem reasonable?