Import Trac tickets into Github