I am writing a Jenkins pipeline. It checks out from repo A first and should later on build and test the code. But for this, I need a certain directory from a different repos