How to fix Another git process seems to be running in this repository. If no other git process is running, remove the file and try again. in Git | DevErrors