Fix bad manifest repo pointer in merge.