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

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

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