We could also lessen that for doc-only PRsMichaelC wrote:... it also means that arduous and unnecessary core development processes must be followed for documentation development (Commit messages, unable to use the github flow, topic branch naming requirements etc.)
Which conflicts with your first requirement?MichaelC wrote:I would support having two repositories and instead having a similar system to Symfony where it is required that a PR exists against the docs repo...
MichaelC wrote:You shouldn't need to have to checkout a git repo locally or have to create JIRA issues or know about git branching or rebasing etc.