A Python script to migrate projects from SourceForge to GitHub; currently very immature and incomplete.