Change in jenkins[master]: repos-check-closure: drop 3.6 and 4.0 jobs