* Push failed
@ 2018-09-03 14:10 ` Daniel Shahaf
2018-09-03 14:13 ` Peter Stephenson
0 siblings, 1 reply; 2+ messages in thread
From: Daniel Shahaf @ 2018-09-03 14:10 UTC (permalink / raw)
To: zsh-workers
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»)
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: Push failed
2018-09-03 14:10 ` Push failed Daniel Shahaf
@ 2018-09-03 14:13 ` Peter Stephenson
0 siblings, 0 replies; 2+ messages in thread
From: Peter Stephenson @ 2018-09-03 14:13 UTC (permalink / raw)
To: zsh-workers
On Mon, 3 Sep 2018 14:10:13 +0000
Daniel Shahaf <d.s@daniel.shahaf.name> 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
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2018-09-03 14:14 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <CGME20180903141040epcas5p2b5165d5b58f2bb4d8cc7b119605080b9@epcas5p2.samsung.com>
2018-09-03 14:10 ` Push failed Daniel Shahaf
2018-09-03 14:13 ` Peter Stephenson
Code repositories for project(s) associated with this public inbox
https://git.vuxu.org/mirror/zsh/
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).