This commit is contained in:
https://www.google.com/accounts/o8/id?id=AItOawmGxww5ON3nilm7moGQCWJPnMEdRwNvb7U 2013-10-29 20:21:03 +00:00 committed by admin
parent bd07d03451
commit 46f6531caa

View file

@ -0,0 +1,44 @@
### Please describe the problem.
Creating two repos with the same name causes git annex dead to randomly choose one. This is reasonable except that it can choose to mark an already dead remote dead (as long as it shares the name), causing it to actually do nothing.
I think preferring to mark live repos dead and printing a warning when multiple repos could have been chosen would be a good solution.
### What steps will reproduce the problem?
1. Create a new repo /somecopy
git clone /central /somecopy
cd /somecopy
git annex init somecopy
git annex sync
cd /
Now, git annex status shows somecopy as an existing repo.
2. Destroy the new repo
rm -rf /somecopy
cd /central
git annex dead somecopy
git annex status correctly hides somecopy, and it is properly dead.
3. create it again with the same name, but new UUID
git clone /central /somecopy
cd /somecopy
git annex init somecopy
git annex sync
cd /
4. Destroy the second repo
rm -rf /somecopy
cd /central
Now, git annex dead somecopy will randomly (based on the order of the UUIDs?) choose to mark dead the already dead old repo or the new repo, in both cases showing success to the user.
### What version of git-annex are you using? On what operating system?
git-annex 4.20131024 on linux. Also occurs on OSX.