diff options
| author |  zardoz <zardoz@web> | 2014-08-04 08:05:37 +0000 |
|---|---|---|
| committer |  admin <admin@branchable.com> | 2014-08-04 08:05:37 +0000 |
| commit | d93f9ef92e0d02056d62f95636431cac71320936 (patch) | |
| tree | 457de681db0e5e2dd6b068b99a972bfe98ffd1f3 | |
| parent | 5ba927b347d9ffd3772b8d743e9d707afc985619 (diff) | |
Added a comment
| -rw-r--r-- | doc/forum/Duplicate_entries_in_location_tracking_logs/comment_2_6f327444772ee1e660a12e7442162df5._comment | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/forum/Duplicate_entries_in_location_tracking_logs/comment_2_6f327444772ee1e660a12e7442162df5._comment b/doc/forum/Duplicate_entries_in_location_tracking_logs/comment_2_6f327444772ee1e660a12e7442162df5._comment new file mode 100644 index 000000000..6cce29757 --- /dev/null +++ b/doc/forum/Duplicate_entries_in_location_tracking_logs/comment_2_6f327444772ee1e660a12e7442162df5._comment @@ -0,0 +1,10 @@ +[[!comment format=mdwn + username="zardoz" + ip="134.147.14.84" + subject="comment 2" + date="2014-08-04T08:05:37Z" + content=""" +Thanks for the info, Joey! As long as the git tracks the history anyway, this should not increase space consumption that much. + +Perhaps it would be useful to have something like «git annex gc» that can clean up these things manually in some situations, e. g. to compact everything before doing a «git annex forget». +"""]] |