Re: git revert with partial commit.

From: Junio C Hamano <gitster@pobox.com>
Date: Apr 3, 2023, 17:07 UTC
Message-ID: <xmqqa5zo7v3l.fsf@gitster.g>
In-Reply-To: <20230402141613.yeseo5fj3lafuf7w@tb-raspi4>

Torsten Bögershausen <tboegi@web.de> writes:

Show 8 quoted lines

> 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.