If the patch applies cleanly, pull requests can even be merged without involving git directly at all, from the Github web UI.<br><br>cheers<br>lvh<br>