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.
alt Hacker News
Then don't do approvals. Comment "approved" and if someone merges without someone else commenting "approved" someone gets mad at them.