Hello, welcome to the community.
I *think* the versions that the repository shows correspond to GitHub releases, so if you make a Release on GitHub, that should probably appear in the repository drop-down menu
GitHub Releases: https://help.github.com/articles/creating-releases/
@tigerw Another item on the TO-DOcument list.
I *think* the versions that the repository shows correspond to GitHub releases, so if you make a Release on GitHub, that should probably appear in the repository drop-down menu
GitHub Releases: https://help.github.com/articles/creating-releases/
@tigerw Another item on the TO-DOcument list.