prevent identical PullRequestElements from being added to PullRequest