# Default reviewers for pull requests that arrive without one.
#
# THIS IS A BACKSTOP, NOT THE REVIEW MODEL. Internal work is reviewed by
# the verifier named on the objective that produced it: selected per
# piece of work, and may differ from the fixed list below or hold no
# write access here at all. A CODEOWNERS entry cannot express that and
# should not try to. What it is for is the case CODEOWNERS is actually
# good at: a pull request from outside that model, which otherwise sits
# with nobody's name on it.
#
# GITHUB SILENTLY IGNORES AN ENTRY NAMING A NON-COLLABORATOR: the file
# parses, the review is never requested, and nothing reports the
# difference. So the line below is only doing its job if every account
# on it currently has push. Check it against the repository rather than
# against this comment — and note the check needs push access itself,
# returning 403 without it:
#
#   gh api repos/turndb/turndb/collaborators \
#     --jq '.[] | {(.login): .permissions.push}'
* @soundledger @exactjoinery
