Trac to GitHub migration script