update repos for 4.2