convert Trac tickets to Github issues