Code to migrate redmine tickets to github issues