A tool to migrate issues and pull requests from one GitHub repo to another