/trac-to-github

Script to migrate Trac tickets to GitHub issues

Primary LanguagePython