Remove user docs from the repo - #1444
Conversation
|
Skipping CI for Draft Pull Request. |
|
/hold |
|
[APPROVALNOTIFIER] This PR is NOT APPROVED This pull-request has been approved by: The full list of commands accepted by this bot can be found here. DetailsNeeds approval from an approver in each of these files:Approvers can indicate their approval by writing |
|
Merge Failed. This change or one of its cross-repo dependencies was unable to be automatically merged with the current state of its repository. Please rebase the change and upload a new patchset. |
The repo will only have developer docs and adoption tests from now on. The asciidoc user docs would no longer be considered as a source of truth and as such keeping them around would be net negative, resulting in doubling docs maintenance work, and confusion about which docs should be tested by the test suite.
1be9cf5 to
6892cc6
Compare
|
Hmm i guess i have to unhold to get the CI to run? |
92f8009 to
1be9cf5
Compare
The repo will only have developer docs and adoption tests from now on. The asciidoc user docs would no longer be considered as a source of truth and as such keeping them around would be net negative, resulting in doubling docs maintenance work, and confusion about which docs should be tested by the test suite.
This is a preparation which will be on hold until the docs migration happens. I will rebase the PR then.