For revert the changes to a file in a commit, from https://stackoverflow.com/a/2620822/156458#!/bin/bashfunction output_help {    echo usage: git-revert-single-file <sha1> <file>}sha1=$1file=$2if [[ $sha1 ]]; thengit diff $sha1..$sha1^ -- $file | patch -p1elseoutput_helpfiTo what files does patch -p1 apply the patch file (i.e. the output of  git diff $sha1..$sha1^ -- $file)?Does it apply to all the files in the working directory? But the working directory might not be the same as the commit $sha1. So does it make sense to apply the difference between $sha1^ and $sha1 to the working directory, which might or might not be the same as $sha1?Thanks.
To what files does ` patch -p1` apply the patch in this example?
git;patch