Import tickets from SourceForge
If we're going to use Projects, then we'll need to import our existing tickets
I've not tried it, but I guess you could use https://github.com/cmungall/gosf2github
From reading https://raw.githubusercontent.com/cmungall/gosf2github/master/README.md it looks like you need to:
git clone https://github.com/cmungall/gosf2github.git
Export tickets at https://sourceforge.net/p/minsky/admin/export and save as minsky-sf-export.json
Create and get an OAuth token for GitHub: https://github.com/settings/tokens
Get GitHub details for the script: curl -H "Authorization: token YOUR-TOKEN-HERE" https://api.github.com/repos/highperformancecoder/minsky/collaborators > minsky-collab.json
curl -H "Authorization: token YOUR-TOKEN-HERE" https://github.com/highperformancecoder/go-site/blob/master/metadata/users_sf2gh.json > users_sf2gh.json
Put the tickets on GitHub: ./gosf2github.pl -a highperformancecoder -u users_sf2gh.json -c minsky-collab.json -r highperformancecoder/minsky -t YOUR-TOKEN-HERE minsky-sf-export.json