Incomplete list of repositories which are ignored on pull request overview - View it on GitHub