This is just for discussion.
Also add an awk script which can look up GitHub IDs given a FreeBSD
username. Provide a partially populated map file.
Questions:
- Should this live in the src repo? Does it make sense to have it somewhere else?
- Can we use this to auto assign reviewers to github PRs? The idea would be that we have a separate set of rules which map source paths to maintainers or groups of maintainers, e.g., sys/arm64/arm64/* -> andrew@. Then, a github action can parse these rules, lookup andrew@'s github ID, and run gh pr edit --add-reviewer to modify the PR.