When repositories move like https://github.com/openai/triton to https://github.com/triton-lang/triton, both can be added and cause neither to fully complete collection. If the check before adding to the repository was based on repo_src_id I believe this problem could be prevented