My solution was re-creating the
index
(while keeping the worktree intact):del .git\index
git reset --mixed head
source: https://stackoverflow.com/questions/13635429/git-rename-from-index-lock-to-index-failed