No risk as previous replier mentioned. I provided only the repo names for people who are afraid that they might have dependencies on an infected project.