diff options
author | http://joeyh.name/ <http://joeyh.name/@web> | 2014-05-19 16:56:15 +0000 |
---|---|---|
committer | admin <admin@branchable.com> | 2014-05-19 16:56:15 +0000 |
commit | d4721f56cd7b962c34543adfaa8429d36b14001e (patch) | |
tree | c3e4c26d49ac0ff225142f03bb4f54b2a8031438 /doc | |
parent | 20bc985d00ef25c383b7aeeba94a02c2057e7a03 (diff) |
Added a comment
Diffstat (limited to 'doc')
-rw-r--r-- | doc/todo/wishlist:___96__git_annex_drop_--relaxed__96__/comment_4_e5516689bc128c061dcd66649dc69584._comment | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/todo/wishlist:___96__git_annex_drop_--relaxed__96__/comment_4_e5516689bc128c061dcd66649dc69584._comment b/doc/todo/wishlist:___96__git_annex_drop_--relaxed__96__/comment_4_e5516689bc128c061dcd66649dc69584._comment new file mode 100644 index 000000000..3e2d6689c --- /dev/null +++ b/doc/todo/wishlist:___96__git_annex_drop_--relaxed__96__/comment_4_e5516689bc128c061dcd66649dc69584._comment @@ -0,0 +1,10 @@ +[[!comment format=mdwn + username="http://joeyh.name/" + ip="216.145.95.162" + subject="comment 4" + date="2014-05-19T16:56:15Z" + content=""" +erics, that all makes a lot of sense, except I don't know if there's actually a use case for a git-annex that behaves that way. It doesn't seem to solve the original use case. + +I'd be inclinded to instead use the new metadata support. A file could have a tag that indicates it's not strongly wanted, and if git-annex get doesn't have enough space it could seek out and drop such files. +"""]] |