manifest: remove unneeded repos