I am pretty sure David knows this already, for others who don’t there is a wiki that shows how to do this GitHub Pull Request.
If anyone finds a problem or bug with it, as it is a wiki please fix or let me know. I will warn you my Git skills are horrible; no matter how many times I get good at it for a few weeks after the next long pause I seem to forget it all again.