Fix listing of migrated issues so that it can also include closed issues (by default the GitHub API only lists open issues--I figured it would list all by default)