diff options
author | Joey Hess <joey@kitenet.net> | 2014-07-09 15:21:27 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2014-07-09 15:21:27 -0400 |
commit | d4e6ea845428a0605a18a7dfc506613539173836 (patch) | |
tree | e7e75a3c5482e5d54b212ef6f72e586817a526bf | |
parent | 06acd390fbc2340c5878cbf3831e058f71080988 (diff) |
close, with fairly high confidence, but not certainty, due to difficulty reproducing races..
-rw-r--r-- | doc/bugs/bad_merge_commit_deleting_all_files.mdwn | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/doc/bugs/bad_merge_commit_deleting_all_files.mdwn b/doc/bugs/bad_merge_commit_deleting_all_files.mdwn index 6cfb27002..4e9e39cb4 100644 --- a/doc/bugs/bad_merge_commit_deleting_all_files.mdwn +++ b/doc/bugs/bad_merge_commit_deleting_all_files.mdwn @@ -2,9 +2,18 @@ In our family repository, we had an event where git-annex committed a bad merge commit. This had the effect of seeming to delete all the files in the repository. However, it is completely recoverable with no file loss. -Another user has reported apparently the same problem. +Other users have reported apparently the same problem. --[[Joey]] +> This appears to be a race, and I have put in a fix for that. +> It will be released in git-annex 5.20140709. +> +> It's a little bit difficult to say for sure that the bug is fixed, since +> I don't have a good way to reproduce it. However, everything I am seeing +> is consistent with my analysis, at least as far as the people who +> reported this happening with versions 5.20140613-5.20140707. +> Calling this [[done]]. --[[Joey]] + ## recovery Look through the git log for the bad commit. It will be the one |