Converts trac tickets to github issues.