Change in jenkins[master]: Fix small bug in slave repo setup