So You Want to Migrate Trac Tickets to GitHub Issues
Disclaimer I should first off state that I wouldn’t entirely recommend this, if you are migrating to GitHub for the first time, you should try to start off with a blank slate. Keep the old tickets...