jules wrote:I've never had a github pull request, so don't really know how they work, but am certainly happy to look at any suggestions you have!
Since Juce is not hosted on Github (it'd be great if it was!), and I'm fairly new to Git so I'm not 100% about this, but you would make a new branch in your local Juce repo, pull one of my remote branches (I would put my changes in a separate branch) into your new branch, then you could review the changes. If you were on github you could do this through the web page and make comments on specific files and lines. Otherwise you could just email me or use the Juce forum.
We'd go back and forth until you liked what you saw at which point you merge your local branch with my changes into your master branch.