Migrates Trac tickets to github issues