1-800-GIT-HELP Reverting a patch

[Thomas Koenig]

Am 21.05.20 um 13:05 schrieb Andreas Schwab:
> On Mai 21 2020, Thomas Koenig wrote:
> 
>> An error message or warning from git might have been nice, though.
> 
> How can it know?

Obviously, reverting the already applied patch was a no-op.
I would assume that git noticed that, and could issue a message
like "applying diff to foo.c failed". patch(1) manages it.