<!-- Please read contribution guidelines first: <to be added> --> ## Description of problem There are rate limits on github REST APIs and we need to try and limit our usage to avoid those limits. ## Description of solution We don't really need to get contributors during the PR validation phase.