A tool for migrating github issues to trac.