Change in jenkins[master]: Fix permission issue after running repoman