mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

close, with fairly high confidence, but not certainty, due to difficulty reproducing races..

Browse source
This commit is contained in:
Joey Hess 2014-07-09 15:21:27 -04:00
parent 6fe35aab87
commit 99521fee79
1 changed files with 10 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
doc/bugs/bad_merge_commit_deleting_all_files.mdwn
View file

@ -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