Help! When I try to do a git push origin master
now, I get:
fatal: Unable to create '/home/ubuntu/workspace/.git/refs/remotes/origin/master.lock': File exists.
If no other git process is currently running, this probably means a
git process crashed in this repository earlier. Make sure no other git
process is running and remove the file manually to continue.
Of course, I've found other similar questions (e.g. here), but the upvoted answers in there merely suggest deleting the offending file... but the file does not exist!
I fear that this is happening after I recently tried to clear some space using the following:
$ sudo git reflog expire --all --expire=now
$ sudo git gc --prune=now --aggressive
Could that be the cause? Any suggestions for a fix?