We should modify CI to `git tag` versions _Originally posted by @david-allison in https://github.com/ankidroid/Anki-Android-Backend/issues/347#issuecomment-1928095563_ ---- https://github.com/ankidroid/Anki-Android-Backend/tags
