trac2github issues script