Our org has a Travis account that permits two concurrent builds, which we use to build PRs for a few dozen GitHub repos. One repo, letsencrypt/boulder, generates quite a lot of jobs from its PR builds and so can starve jobs building master/main for other repos. Is there a way to indicate that jobs for a repo’s main/master branch should get priority over PR builds?