I implemented a workaround for a bug in GitHub's GraphQL queries that sometimes omitted results from large responses. This bug sometimes silently caused random PRs to go missing from the review list. Hopefully the workaround will tide us over until GitHub can fix the root issue...