diff options
author | 2013-07-27 22:40:58 +0000 | |
---|---|---|
committer | 2013-07-27 22:40:58 +0000 | |
commit | 629472a8ad96b1b008bb1183581decea065139a4 (patch) | |
tree | bdeab4197a28c2ab3bd8498f64407d675639723f | |
parent | 716daad87c03c4d67d27817c03855b7b2820de5a (diff) |
Added a comment
-rw-r--r-- | doc/bugs/failure_to_find_file_that___34__should__34___exist_in_remote_is_silent/comment_4_7d642fc65040a7b583cdece33db01826._comment | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/bugs/failure_to_find_file_that___34__should__34___exist_in_remote_is_silent/comment_4_7d642fc65040a7b583cdece33db01826._comment b/doc/bugs/failure_to_find_file_that___34__should__34___exist_in_remote_is_silent/comment_4_7d642fc65040a7b583cdece33db01826._comment new file mode 100644 index 000000000..18c9b6668 --- /dev/null +++ b/doc/bugs/failure_to_find_file_that___34__should__34___exist_in_remote_is_silent/comment_4_7d642fc65040a7b583cdece33db01826._comment @@ -0,0 +1,8 @@ +[[!comment format=mdwn + username="http://joeyh.name/" + ip="4.152.246.110" + subject="comment 4" + date="2013-07-27T22:40:58Z" + content=""" +I should add that it also seems to make sense to stat the file to see if it's present, like it does now. The location log can be out of date, and when more accurate info is right there, it should use it. And nor is the location log being out of date something that it should complain about, because it can easily happen eg when `git annex sync` has not been run recently. +"""]] |