Meanwhile on the web: SourceForge advertises its GitHub importer…