GeezerVison is showing github.com — Is suffixing version in the dev tree with `dev` usefull to someone? · Issue #111 · python/python-docs-theme
Is suffixing version in the dev tree with dev usefull to someone? #111
Description
The current CONTRIBUTING.rst tells to bump to a dev version after releasing:
- bump version (YYYY.MM.dev) in setup.py and python_docs_theme/theme.conf
- Commit this last bump.
- push and push the tag (``git push && git push --tags``)
Is it really usefull? I don't contribute a lot to this repo and I don't feel it's usefull for me, but if it's usefull for you please tell.
@willingc I don't remember why it's here, git log tells it's me but I think I copy-pasted this sequence of tasks from way before me, mabe you gave it to me and you now better?
Activity
Mariatta commented on Mar 10, 2023
The .dev is to show that this version has been merged to main but not yet published to PyPI.
Before publishing to PyPI we remove the .dev.
I think the .dev is just for (perhaps uncommon) situation in case there are people installing the package from source, and found bugs, and want to file bugs against it, we can find out exactly which version they're using.
Mariatta commented on Mar 10, 2023
If we always release after merging then perhaps the dev won't be needed.
JulienPalard commented on Mar 11, 2023
Before publishing to PyPI we remove the .dev.
As stated in contributing, it's added after pushing to PyPI.
I'm proposing to remove this step from the CONTRIBUTING.rst file for now.
pradyunsg commented on Mar 12, 2023
As stated in contributing, it's added after pushing to PyPI.
Yes, and it's removed prior to publishing to it as well ("bump version (YYYY.MM) in pyproject.toml"). It still serves the purpose that @Mariatta describes in her comment.
Metadata
Metadata
Development
No branches or pull requestsIssue actions