Avoid re-creating dummy github repos and commits for workspaces with real github repo urls in their manifest.json. This means we can mimic a real github repo locally and update manifests when we edit local files without borking the valid repo/commit info.
Avoid re-creating dummy github repos and commits for workspaces with real github repo urls in their manifest.json. This means we can mimic a real github repo locally and update manifests when we edit local files without borking the valid repo/commit info.