Skip to content

Convert docs to markdown#1107

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

Convert docs to markdown#1107
mvorisek merged 33 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 5 times, most recently from f50aff2 to ef0e703 Compare July 13, 2023 09:18
mvorisek added a commit that referenced this pull request Jul 15, 2023
for GH-1107, rename in separate commit for better git tracking
mvorisek added a commit that referenced this pull request Jul 16, 2023
for GH-1107, 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 added the MAJOR label Jul 16, 2023
@mvorisek mvorisek merged commit e56327d into develop Jul 16, 2023
@mvorisek mvorisek deleted the docs_to_markdown branch July 16, 2023 14:10
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