"git pull" failed with "cannot lock ref"

 This was the first time I ran into the issue.

Some search turned up a list of remedies, but only this command worked for me.

git gc --prune=now

which basically does a set of housecleaning tasks on the local repo.