在 `git git filter-repo -> git pull --allow-unrelated-histories` 之后有什么方法可以找回本地历史记录？

Question

I may have discovered a great way to irrevocably delete valuable stuff. Is there any way I can undo steps 1-2?

Background

1. I had a large file in a commit that caused a push error, so I tried to delete it with:

git filter-repo --path <this big file>--invert-paths --force

2. I tried to re-push the commit but git refused to do such without a pull from remote, which I did by:

git pull origin main --allow-unrelated-histories

3. Now several files open in my editor are marked as missing, and many more are gone or overwritten in the file system. Here is the output of git reflog

$ git reflog --all 
01eb3b2 (origin/main) refs/remotes/origin/main@{0}: fetch origin: storing head
5ba15dd (HEAD -> main) refs/heads/main@{0}: commit (initial): update before s6, working on laplace alpha coeff
5ba15dd (HEAD -> main) HEAD@{0}: commit (initial): update before s6, working on laplace alpha coeff

4. For files that were not deleted by (1,2) above, I can actually see the history of uncommitted changes in Visual Studio Code using <changed file> (Explorer View)->Open Timeline .
   However, I cannot do this with the many new local files that were apparently deleted when the remote was pulled in (2). Is there any way to do this?

Answer 1

As stated by @torek in the comments, my usage of git above destroyed the newly-created files whose only history was overwritten in the local repo.

Therefore, the sequence of git commands described in the OP are irreversible.

However, the fail-safe noted below may represent the only lifeline for the huge number of users connecting to remote environments in Visual Studio Code, who realize too late the consequences of abusing basic git commands.

Fail-safe for VSCode (>= 1.66) Remote Environments:

So it turns out that even though I was developing inside a remote dev container, Visual Studio Code locally caches remote workspace changes since v.1.66 . All I had to do was Local History: Find Entry to Restore to locate the change history for files which were deleted on remote file system by the git filter-repo command in the OP.