
July 1, 2011
5:02 p.m.
If the patch applies cleanly, pull requests can even be merged without involving git directly at all, from the Github web UI. cheers lvh