Funny to see this today. I had moved a repo from an old Mac laptop to linux months ago, and git couldn’t find the ref to HEAD, because HEAD was pointing to the case insensitive branch name, and it didn’t match the case of the branch. Manually edited HEAD to the correct case to fix it. I should probably recreate the repo for good measure…