Change in jenkins[master]: Add label restriction to master repos-check-closure job