Subject: Re: git revert with partial commit.

From: Junio C Hamano <[email-masked]>
Date: Mon, 03 Apr 2023 10:07:26 -0700

Torsten Bögershausen <[email-masked]> writes:

> Find the last commit that had those 2 files, in other word the commit
> before f18fbd1e16a1ca4215621, say it is xyz.
>
> git checkout xyz -- Public/CTAN/IDE/phonon/compile-install-phonon
> should get the first file back into your working tree and staged.
>
> (Of course, this is out of my head. And you should be able to "restore"
> both files in one go.)

If the (old) version of these files existed in one (old) commit,
yes, you should be able to do that.

Thanks.