Comment by michaelmior

Curious why you resorted to email diffs around instead of using pull requests on GitHub? It would be cool to see this integrated with the GitHub API so I could push out my comments to GitHub after editing.