Skip to content

Remove unused mike version provider from mkdocs.yml#131

Closed
Copilot wants to merge 2 commits intoupdate-workflowsfrom
copilot/sub-pr-130
Closed

Remove unused mike version provider from mkdocs.yml#131
Copilot wants to merge 2 commits intoupdate-workflowsfrom
copilot/sub-pr-130

Conversation

Copy link

Copilot AI commented Jan 8, 2026

The workflow uses mkdocs gh-deploy for deployment but mkdocs.yml was configured with provider: mike for version management. Since mike is neither installed nor used, this configuration had no effect and created unnecessary confusion.

Changes

  • Removed version.provider: mike from mkdocs.yml extra section

The mkdocs configuration now aligns with the actual deployment method used in the documentation workflow.


💬 We'd love your input! Share your thoughts on Copilot coding agent in our 2 minute survey.

Copilot AI mentioned this pull request Jan 8, 2026
Co-authored-by: ryanlua <80087248+ryanlua@users.noreply.github.com>
Copilot AI changed the title [WIP] Update workflows based on feedback from PR #130 Remove unused mike version provider from mkdocs.yml Jan 8, 2026
Copilot AI requested a review from ryanlua January 8, 2026 10:03
@ryanlua ryanlua closed this Jan 8, 2026
@ryanlua ryanlua deleted the copilot/sub-pr-130 branch January 8, 2026 10:04
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