Hello, Did you consider moving to git from svn as the main repository for the project? Especially since most of the pull requests are done from github, converting a diff to svn feels a bit unnecessary.
It woul have made my life easier certainly. Especially if I didn't have to convert from git to svn diffs in order to post reviews on review board. Thanks, Radu.
