Skip to content

Conversation

@per1234
Copy link
Contributor

@per1234 per1234 commented Sep 14, 2021

This is now the standard version of the mike Python package used for versioning of MkDocs websites, already in use in Arduino Lint (arduino/arduino-lint#273).

This is now the standard version of the `mike` Python package used for versioning of MkDocs websites.
@per1234 per1234 added the type: enhancement Proposed improvement label Sep 14, 2021
@per1234 per1234 merged commit 87b7b2b into arduino:main Sep 14, 2021
@per1234 per1234 deleted the bump-mike branch September 14, 2021 07:45
@per1234 per1234 self-assigned this Nov 20, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: enhancement Proposed improvement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants