default: add focal repos to the manifest