Updated patch instructions for github pull requests