I think there is a missing pro here on the wiki side: trivial edits are trivial. Even fixing a typo in the docs directory requires PR + approvals + CI. Effectively limiting your docs contributors to folks who are comfortable with a code editor, and git, is a decision

▲

Kinrany a day ago | parent [-]

Forcing CI and approvals on changes to docs/ is a decision

▲

swiftcoder a day ago | parent [-]

Entertainingly, excluding a directory from PR approvals is not an option GitHub provides out of the box

▲

pocksuppet a day ago | parent [-]

Then don't do approvals. Comment "approved" and if someone merges without someone else commenting "approved" someone gets mad at them.

	▲	swiftcoder a day ago \| parent [-]
		One can always work around tools limitations. The limitations tell us something about how the creators intended it to be held, however