The behavior with this PR is that once you push a Git tag with v* (usually v1.0.8 for example), which should ideally point to the commit that updates this line https://github.com/huggingface/huggingface_sb3/blob/main/setup.py#L10 (you can push the tag after the commit), it will automatically make a pypi release.
The only requirement is adding your secret (PYPI_TOKEN_DIST) to the repo settings
The behavior with this PR is that once you push a Git tag with
v*
(usuallyv1.0.8
for example), which should ideally point to the commit that updates this line https://github.com/huggingface/huggingface_sb3/blob/main/setup.py#L10 (you can push the tag after the commit), it will automatically make a pypi release.The only requirement is adding your secret (
PYPI_TOKEN_DIST
) to the repo settings