checkout a directory from git by using jenkins