AW: Git revert cannot be aborted if the repository directory has been copied
On Sun, Nov 4, 2024, at 10:55, Phillip Wood wrote:
> "git revert --abort" is a wrapper around "git reset --merge" so I wonder
> if we should change "git reset --merge" to refresh the index.
In my novice opinion I agree. If "git revert --abort" is just a wrapper for "git reset --merge" then I think "git reset --merge" should itself refresh the index. Other commands (e.g. "git cherry-pick --abort") seem to perform a refresh as well.