I want to revert a commit that contains added binary (LFS) files. As they are binary, they cannot be merged. I invoke the revert command as
git revert cd68ab2f306c8db28d6887ece8e1e754e6b3b0d1 --strategy=ort --strategy-option=theirs
Unfortunately, this prints "CONFLICT (modify/delete) [...] File deleted in parent [...] and modified in HEAD" and leaves the index in a conflicting state. This is unexpected, as I've told git revert to always take "theirs", so it should delete the added file in the working directory.
The command is invoked from a script, so manually git rm
the files is not a nice option for me.