update repos for 4.2
Merge pull request #239 from rpedde-rcbops/4.2.repos

Merged automatically by jenkins after successful build test