Comment by dtoffe

AFAIK Sourceforge is alive and kicking, and it has an "Import from Github" feature that has been available for years.