Suggested by Liam Newman based on GitHub Branch Source Plugin release 2.5.5. See https://github.com/jenkinsci/github-branch-source-plugin/pull/236. Improves user experience by faster fetching of projects.