Comment Comment by danfox There isn't any deduplication, although that will hopefully be less of an issue at this point since there's a limited number of repositories in the index. parent danfox 6 years ago