It would be better to have codeowners to let them have the respective parts "owned" and overlooked, especially for pull requests. TODO: - look into what codeowners can do on Github - implement and document