Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

Re: Push failed

On Mon, 3 Sep 2018 14:10:13 +0000
Daniel Shahaf <d.s@xxxxxxxxxxxxxxxxxx> wrote:
> My 'git push' failed with:
> 
> remote: error: cannot lock ref 'HEAD': Unable to create
> '/git/p/zsh/code.git/./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.
> 
> That file was 5 hours old, so I deleted it and pushed.
> 
> (Procedure: «ssh -t shell.sourceforge.net create;
> cd /home/git/p/zsh/code.git; ls -Altr»)

OK, I think that previous commit went through anyway.

ws
Messages sorted by: Reverse Date, Date, Thread, Author