move (quite) all the issues to GitHub.