portsmon vs. Edwin Groothius' PR auto-assigner

  • portsmon's author used to go through the list of new PRs once or twice a day. Now he doesn't have to.