FYI I filed INFRA-13690 for cleaning up stable pull requests on github. The stale pull requests sometimes kick pre-commit Jenkins jobs (which need more investigation) which is annoying. The initial list of PR that's just closed by Daniel (from Infra team) is:
1, 23, 35, 49, 60, 73, 75, 107, 139, 197, 198. -- Cheers Michael.
