Hello, it would be great to have the release tags pushed to github so one can track versions.
Hello, it would be great to have the release tags pushed to github so one can track versions.