Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Push failed
- X-seq: zsh-workers 43368
- From: Daniel Shahaf <d.s@xxxxxxxxxxxxxxxxxx>
- To: zsh-workers@xxxxxxx
- Subject: Push failed
- Date: Mon, 3 Sep 2018 14:10:13 +0000
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= daniel.shahaf.name; h=content-transfer-encoding:content-type :date:from:message-id:mime-version:subject:to:x-me-sender :x-me-sender:x-sasl-enc; s=fm1; bh=7spzEt+S41bJPHqu5rOg27D6QYv7T TsU9EznPm5X/aQ=; b=E1j5xPOW5cCdwRBPw8DQ/gp8yHKF+u6bzdxJVnRQayJ+j idC7DPCNzCcwKjO9DDF4pH2pd7ygNZZN0q5T0Vy44Ta6tiKmBjBh8gQ3t+/yh5hh LSjr+py1Mhq02j+8Op2MjyGgTdi3AK/IordQW1IzsBE+tOSUHPr+N8leWEof/qHT fgCDAwdxYSsAfEPfS+beCt6YDFAegIbg3P3+BWkyTEXjyN3B1BC5+XA/1PdueG77 dfiIgJLrhWcUoix6WF81wyxhGeRuCGCtrFIHjdU1iLWxuikU5hiCygsf0BRhcxwE 3Dd+1YifoTo3nsmtBicI6r7jwcZMb/pRd/1MORkeQ==
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=content-transfer-encoding:content-type :date:from:message-id:mime-version:subject:to:x-me-sender :x-me-sender:x-sasl-enc; s=fm3; bh=7spzEt+S41bJPHqu5rOg27D6QYv7T TsU9EznPm5X/aQ=; b=n6yFcNkgd2wval21vijA9uYHLIMAwe3Bvbmjnog+rdX5z t2w+HopZIx7Fxz56cN8o9QBXQk27hlNgFe+2SWrltP2ErUbWk+LH5a/vwvBvah67 wACv3jR5Onx2CPpCvxSHvTxWRwLM2FqlGKMMiak64zAgxnyn6Ovi3iJvkaQSfjPO LUls+1rxC4RsvcmW/hJVpm/jrEpQ/YuyIJQkeXrfvxKEjdV87S0vbR2ODBgQfUlb 936ymyJHyc+4IB4pCJVlBleXjm1kzNkLTydWpvOeP5nMVZyu2TGzyImqEm9CykhK lSl8FqEWyTxqdt8IP0JjTj6i0umL7wD9nVq9sCj2Q==
- List-help: <mailto:zsh-workers-help@zsh.org>
- List-id: Zsh Workers List <zsh-workers.zsh.org>
- List-post: <mailto:zsh-workers@zsh.org>
- List-unsubscribe: <mailto:zsh-workers-unsubscribe@zsh.org>
- Mailing-list: contact zsh-workers-help@xxxxxxx; run by ezmlm
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»)
Messages sorted by:
Reverse Date,
Date,
Thread,
Author