Adding some randomization to the naming of the repository to avoid collisions in Jenkins...