Change in jenkins[master]: make manual trigger generic