Features:
- Converts milestones/tickets/comments/labels
- Converts Trac usernames to Github usernames
- Sets assignees if possible, sets you an assignee otherwise
- Supports manual splitting of conversion process into stages
- Slows down to match the 60 requests per second API limit rate

Usage:
1. Edit the configuration variables in the file above the DO NOT EDIT BELOW comment or use the external configuration file, trac2github.cfg.
2. Run it from shell, e.g.:
$ php trac2github.php