проект гитится на sourceforge.net... работал работал.... Не было напасти — и на тебе, здрасьте, гит — хрясь! — и распался на части!...
при очередном push получаю такой мессадж,
git push
Counting objects: 13, done.
Delta compression using up to 8 threads.
Compressing objects: 100% (12/12), done.
Writing objects: 100% (13/13), 15.29 KiB | 783.00 KiB/s, done.
Total 13 (delta 8), reused 0 (delta 0)
remote: error: cannot lock ref 'HEAD': Unable to create '/git/p/modem/code.g
it/./HEAD.lock': File exists.
remote:
remote: Another git process seems to be running in this repository, e.g.
remote: an editor opened by 'git commit'. Please make sure all processes
remote: are terminated then try again. If it still fails, a git process
remote: may have crashed in this repository earlier:
remote: remove the file manually to continue.
To ssh://git.code.sf.net/p/modem/code
! [remote rejected] master -> master (failed to update ref)
error: failed to push some refs to 'ssh://juvf@git.code.sf.net/p/modem/code'
Как это пролечить? Как руками удалить файл, который просит удалить гит? Или писать в поддержку sourceforge?