Skip to content

Conversation

@lstein
Copy link
Collaborator

@lstein lstein commented May 7, 2023

This PR instructs github to deploy documentation pages from the v2.3 branch.

@lstein lstein requested a review from blessedcoolant as a code owner May 7, 2023 03:56
@blessedcoolant blessedcoolant enabled auto-merge May 7, 2023 09:43
@blessedcoolant blessedcoolant merged commit 8618e41 into main May 7, 2023
@blessedcoolant blessedcoolant deleted the actions/mkdocs-deploy branch May 7, 2023 09:43
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.

3 participants