added a few repos to the manifest