Simple Tool to migrate GitHub issues from one repo to another