Add note about github integration to developer guide.

Pull requests, including subsequent comments, are pushed to trac.