A tutorial shows you how to write a script to migrate GitHub issues to Jira.