Closed SFrijters closed 1 year ago
It would be nice if the releases could be tagged as well (in particular the recent 0.17 PyPi release): it makes referring to the correct commit a bit more concise when packaging.
Oops, always forget I have to git push --tags.
git push --tags
It would be nice if the releases could be tagged as well (in particular the recent 0.17 PyPi release): it makes referring to the correct commit a bit more concise when packaging.