diff options
author | http://joeyh.name/ <http://joeyh.name/@web> | 2014-10-12 18:27:40 +0000 |
---|---|---|
committer | admin <admin@branchable.com> | 2014-10-12 18:27:40 +0000 |
commit | 4c0ad365ba1d2214fbe0dbe63f07322ae85b235a (patch) | |
tree | 2a70ac01b62e528b0796d0b01a6d295776c9ac95 | |
parent | 159d90f014486d13df08495a5a14a7b032e7ba9b (diff) |
Added a comment
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/bugs/git_annex_repair_fails_-___47__tmp__47__tmprepo.1__47__.git__47__gc.pid:_removeLink:_does_not_exist___40__No_such_file_or_directory__41__/comment_4_9f67b14c9ac81f159439c5dff7354b8f._comment b/doc/bugs/git_annex_repair_fails_-___47__tmp__47__tmprepo.1__47__.git__47__gc.pid:_removeLink:_does_not_exist___40__No_such_file_or_directory__41__/comment_4_9f67b14c9ac81f159439c5dff7354b8f._comment new file mode 100644 index 000000000..8d15f5c57 --- /dev/null +++ b/doc/bugs/git_annex_repair_fails_-___47__tmp__47__tmprepo.1__47__.git__47__gc.pid:_removeLink:_does_not_exist___40__No_such_file_or_directory__41__/comment_4_9f67b14c9ac81f159439c5dff7354b8f._comment @@ -0,0 +1,10 @@ +[[!comment format=mdwn + username="http://joeyh.name/" + ip="209.250.56.54" + subject="comment 4" + date="2014-10-12T18:27:39Z" + content=""" +So the auto gc was triggered by git fetch. I have made the repair code prevent that from happening. I expect that will solve the problem, so I am marking this bug as closed. + +However, I don't understand really what could have caused it to try to remove the gc.pid file. I tried creating such a pid file manually after the fetch, and it didn't try to remove it. +"""]] |