Skip to content

Fix dependency resolution by using version constraints instead of exact pins#4

Closed
bolak92 with Copilot wants to merge 3 commits into
docsfrom
copilot/sub-pr-3
Closed

Fix dependency resolution by using version constraints instead of exact pins#4
bolak92 with Copilot wants to merge 3 commits into
docsfrom
copilot/sub-pr-3

Conversation

Copilot AI commented Dec 8, 2025

Copy link
Copy Markdown

Exact version pinning (==) caused pip's dependency resolver to fail with conflicting requirements. The constraints were over-specified, and mkdocs-plugin-tags==1.0.2 required mkdocs==1.2.3 which conflicted with mkdocs-material>=9.5.

Changes

  • Use minimum version constraints (>=) instead of exact pins to allow pip to resolve compatible versions
  • Remove mkdocs-plugin-tags - requires incompatible mkdocs version; Material theme has built-in tags support
  • Two-step installation - install core packages first, then plugins, to avoid resolution depth issues
  • Constrain mike>=2.0 - older versions have Python 3.12 compatibility issues
pip install "mkdocs>=1.5" "mkdocs-material>=9.5"
pip install "mkdocstrings>=0.25" "mkdocstrings-python>=1.9" "mike>=2.0" "mkdocs-autorefs>=1.0" "mkdocs-git-revision-date-localized-plugin>=1.2"

This provides stability through minimum bounds while letting pip handle transitive dependencies.


✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.

Copilot AI and others added 2 commits December 8, 2025 11:40
…compatible mkdocs-plugin-tags

Co-authored-by: bolak92 <49613273+bolak92@users.noreply.github.com>
Co-authored-by: bolak92 <49613273+bolak92@users.noreply.github.com>
Copilot AI changed the title [WIP] Update GitHub Pages dependencies to specify exact versions Fix dependency resolution by using version constraints instead of exact pins Dec 8, 2025
Copilot AI requested a review from bolak92 December 8, 2025 11:45
@bolak92 bolak92 closed this Dec 8, 2025
@bolak92
bolak92 deleted the copilot/sub-pr-3 branch December 8, 2025 13:14
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.

2 participants