In the main repository we have a docs folder for MkDocs.
Do you want to move these files in here, or should we use the docs folder for the github.io page?
To have all files in one project is better. When we receive PRs which require updating the docs accordingly, in a single PR including the code changes.
In the main repository we have a docs folder for MkDocs. Do you want to move these files in here, or should we use the docs folder for the github.io page? To have all files in one project is better. When we receive PRs which require updating the docs accordingly, in a single PR including the code changes.