Jenkins-related activity was moved into another repo