Merge branch 'master' of ssh://git-annex.branchable.com

This commit is contained in:
Joey Hess 2019-05-06 14:45:02 -04:00
commit 65a82e0d27
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38

View file

@ -0,0 +1,22 @@
[[!comment format=mdwn
username="Ilya_Shlyakhter"
avatar="http://cdn.libravatar.org/avatar/1647044369aa7747829c38b9dcc84df0"
subject="comment 2"
date="2019-05-06T18:39:07Z"
content="""
Thanks!
I do see some failures during concurrent usage, with the error message
fatal: Unable to create '/data/ilya-work/benchmarks/viral-ngs-benchmarks/.git/index.lock': File exists.
Another git process seems to be running in this repository, e.g.
an editor opened by 'git commit'. Please make sure all processes
are terminated then try again. If it still fails, a git process
may have crashed in this repository earlier:
remove the file manually to continue.
It seems that git does not have a built-in wait for the index lock to be released:
<https://stackoverflow.com/questions/36208630/is-there-a-way-to-make-git-automatically-retry-commands-if-index-lock-exists>
Maybe, for greater robustness, git-annex could add a wait for this, when it calls git.
"""]]