some git aliases for patching