A Python script to convert Trac tickets to GitHub issues - View it on GitHub