It seems to me that you may end up adding a repository multiple times if its index changes more than once before the list is processed. Though I suppose this might not technically matter since the projects that will be queued up to be refreshed is stored in a set.