A (minimal) GitHub API and code to migrate Trac tickets into GitHub Issues - View it on GitHub