Delete add_repo_to_ci.py