1 Jul
2011
1 Jul
'11
3: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