Change in jenkins[master]: Changing repos_check_closure jobs email recipients