Added a comment
This commit is contained in:
parent
3c10d8ce57
commit
2a7fd68d47
1 changed files with 11 additions and 0 deletions
|
@ -0,0 +1,11 @@
|
||||||
|
[[!comment format=mdwn
|
||||||
|
username="http://joeyh.name/"
|
||||||
|
ip="209.250.56.2"
|
||||||
|
subject="comment 2"
|
||||||
|
date="2014-07-10T19:10:15Z"
|
||||||
|
content="""
|
||||||
|
Looking back at this bug, it's clearly the same race that I later
|
||||||
|
debugged and fixed in [[bad_merge_commit_deleting_all_files]]. There are instructions in that bug for recovering it.
|
||||||
|
|
||||||
|
In particular, the \"fatal: Could not switch to '/home/jwiklund/Documents/.git/annex/merge/': No such file or directory\" is because of the race; the merge directory is being created and deleted by two contending threads.
|
||||||
|
"""]]
|
Loading…
Add table
Add a link
Reference in a new issue