The GitHub Marketplace has actions like: https://github.com/marketplace/actions/reviewer-lottery which will automatically assign a reviewer to a pull request. We should consider setting up one of these actions to get other people involved in the process. Along those lines we should probably also establish code owners (people who regularly work on the source file and will want to know about changes to it).
The GitHub Marketplace has actions like: https://github.com/marketplace/actions/reviewer-lottery which will automatically assign a reviewer to a pull request. We should consider setting up one of these actions to get other people involved in the process. Along those lines we should probably also establish code owners (people who regularly work on the source file and will want to know about changes to it).