GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

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

New issue
Copy link
New issue
Copy link
Closed
#112
Closed
Is suffixing version in the dev tree with dev usefull to someone? #111
#112
Copy link

Description

@JulienPalard
JulienPalard
opened on Mar 10, 2023
Issue body actions

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

  1. Mariatta commented on Mar 10, 2023

    @Mariatta
    Mariatta
    on Mar 10, 2023
    Member
    More actions

    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.

  2. Mariatta commented on Mar 10, 2023

    @Mariatta
    Mariatta
    on Mar 10, 2023
    Member
    More actions

    If we always release after merging then perhaps the dev won't be needed.

  3. JulienPalard commented on Mar 11, 2023

    @JulienPalard
    JulienPalard
    on Mar 11, 2023
    MemberAuthor
    More actions

    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.

  4. pradyunsg commented on Mar 12, 2023

    @pradyunsg
    pradyunsg
    on Mar 12, 2023
    Member
    More actions

    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.

  5. JulienPalard
    closed this as completedin #112on Apr 17, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions

      You are visitor 01402503 — GeezerVison does not store the pages you look up.
      Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.