Adding some randomization to the naming of the repository

 to avoid collisions in Jenkins...