From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 03 Apr 2023 17:07:26 GMT
Subject: Re: git revert with partial commit.
Message-ID: <xmqqa5zo7v3l.fsf@gitster.g>
In-Reply-To: <20230402141613.yeseo5fj3lafuf7w@tb-raspi4>

Torsten Bögershausen <tboegi@web.de> 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.