Adapt the CI script for the move of the repo.