Skip to content

Convert docs to markdown#381

Merged
mvorisek merged 24 commits intodevelopfrom
docs_to_markdown
Jul 16, 2023
Merged

Convert docs to markdown#381
mvorisek merged 24 commits intodevelopfrom
docs_to_markdown

Conversation

@mvorisek
Copy link
Copy Markdown
Member

@mvorisek mvorisek commented Jul 7, 2023

No description provided.

@mvorisek mvorisek force-pushed the docs_to_markdown branch 4 times, most recently from 72202f9 to 6609c16 Compare July 14, 2023 19:31
mvorisek added a commit that referenced this pull request Jul 15, 2023
for GH-381, rename in separate commit for better git tracking
mvorisek added a commit that referenced this pull request Jul 16, 2023
for GH-381, land these changes in separate commit for better git tracking
@mvorisek mvorisek marked this pull request as ready for review July 16, 2023 13:49
@mvorisek mvorisek merged commit ecac6c6 into develop Jul 16, 2023
@mvorisek mvorisek deleted the docs_to_markdown branch July 16, 2023 13:57
@mvorisek mvorisek added the MAJOR label Jul 16, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Development

Successfully merging this pull request may close these issues.

1 participant