another note on jenkins permissions