We looked at it and given that the repo was archived nearly two years ago decided it wasn't a problem.