travis-ci/travis-core — pull request #99 by roidrage (2012-08-27 13:04:00+00:00)
Title: Don't sync duplicate org repos

WIP: There are circumstances when we get a user's repository a second time in the list of his repositories from an organization. This is an attempt to work around what looks like an oddity in the GitHub API.