This repository was archived by the owner on Jul 14, 2023. It is now read-only.
This repository was archived by the owner on Jul 14, 2023. It is now read-only.
No release tags in git repository #47
Description
Hi,
There are no git tags pushed to the repository on release. Please consider pushing tags to github when publishing releases, as it makes the life of downstream packages much easier.
Thanks!