Skip to content

bump version#6

Merged
ebrocas merged 1 commit into
mainfrom
dev
Jul 7, 2026
Merged

bump version#6
ebrocas merged 1 commit into
mainfrom
dev

Conversation

@ebrocas

@ebrocas ebrocas commented Jul 7, 2026

Copy link
Copy Markdown
Collaborator

No description provided.

…data

PyPI rejects any uploaded distribution whose metadata declares a direct
URL/VCS dependency (PEP 508 direct reference), which blocked the v2.0.0
upload with a 400 Bad Request on 'mike @
git+https://github.com/squidfunk/mike.git' in the doc extra.

Zensical's versioning support requires a specific unpublished fork of
mike (squidfunk/mike, not the real jimporter/mike on PyPI) and Zensical
explicitly does not plan to publish it to PyPI, so pinning a released
mike version is not an option here.

Drop mike from the packaged 'doc' extra entirely and install the fork
directly in the two doc-deploy GitHub Actions workflows instead, which
are the only places it's actually invoked.
@ebrocas ebrocas merged commit 8b7e05e into main Jul 7, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant