chords_control examines tags in order offer configuration choices. Unfortunately, this leads to a lot of not-very-useful tags. The following was used to rename these tags, by appending archive/ to the tag name:
t="0.9.9.1"
git tag archive/$t $t; git tag -d $t; git push origin :refs/tags/$t; git push origin --tags
chords_control examines tags in order offer configuration choices. Unfortunately, this leads to a lot of not-very-useful tags. The following was used to rename these tags, by appending
archive/
to the tag name: