Merge branch 'master' of ssh://git-annex.branchable.com
This commit is contained in:
commit
cb7574ce10
2 changed files with 20 additions and 0 deletions
|
@ -0,0 +1,12 @@
|
|||
[[!comment format=mdwn
|
||||
username="http://joeyh.name/"
|
||||
ip="209.250.56.41"
|
||||
subject="comment 1"
|
||||
date="2014-03-26T17:19:58Z"
|
||||
content="""
|
||||
You still have git remotes configured with the uuid of the remote, so `git annex info` pulls that data in. Since --drop-dead removes all mention of the remote from the git-annex branch, including that its trust level is dead, the remaining info from the .git/config takes effect.
|
||||
|
||||
--drop-dead could `git remote rm` but that won't help other clones of the repo that also have the dead remote. Instead, I think it may make sense for --drop-dead to avoid removing the uuid from trust.log, so it will still know this remote is dead.
|
||||
|
||||
(Of course, you can easily deal with this locally by `git remote rm` yourself.)
|
||||
"""]]
|
|
@ -0,0 +1,8 @@
|
|||
[[!comment format=mdwn
|
||||
username="http://joeyh.name/"
|
||||
ip="209.250.56.41"
|
||||
subject="comment 1"
|
||||
date="2014-03-26T17:26:37Z"
|
||||
content="""
|
||||
I don't see how this can possibly be done. A single git-annex object can have any number of file names, which can change at any time.
|
||||
"""]]
|
Loading…
Reference in a new issue