Migrate repositories only available on GitHub
Some Software Heritage repositories seems to be only on GitHub. They probably should be moved to this instance, or at least a mirror should be setup.
Known repositories:
Some Software Heritage repositories seems to be only on GitHub. They probably should be moved to this instance, or at least a mirror should be setup.
Known repositories: