prefer the rock repositories when the commits we needed got merged