-
Notifications
You must be signed in to change notification settings - Fork 104
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
docs: move Mir documentation from Discourse #3311
Conversation
9656332
to
37d599b
Compare
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## main #3311 +/- ##
=======================================
Coverage 77.41% 77.41%
=======================================
Files 1064 1064
Lines 68072 68072
=======================================
Hits 52697 52697
Misses 15375 15375 ☔ View full report in Codecov by Sentry. |
- use `text` format for non-code blocks. - add titles - add Discourse references - drop manual Table of Contents and anchors - expand references to Discourse posts
f8d00e5
to
6d427e3
Compare
c8f8c13
to
3b48f72
Compare
- fix ~```~ syntaxes - drop explicit Table of Contents and anchors - add Discourse references - import images
3b48f72
to
70c2210
Compare
It's autogenerated with Sphinx.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I remain to be convinced that moving this content from "wiki" pages on discourse to the Mir git repository makes them better. It certainly introduces a barrier to maintaining them.
The Mir documentation from https://mir-server.io/docs needs moving into readthedocs.
Once this is released we'll create redirects and edit the Discourse topics to include links to the new locations.