GitHub instructions instead of "patch"