Several connections may target the same instance of GitHub and return the same pull requests. We want to deduplicate those. There may also be duplicate ones in the starred pull requests pages, because there are several sections returning the same pull requests.
Several connections may target the same instance of GitHub and return the same pull requests. We want to deduplicate those. There may also be duplicate ones in the starred pull requests pages, because there are several sections returning the same pull requests.