Git: .lock error while pushing [to origin]

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