diff options
author | Richard Hartmann <richih@debian.org> | 2013-08-28 22:01:49 +0200 |
---|---|---|
committer | Richard Hartmann <richih@debian.org> | 2013-08-28 22:01:49 +0200 |
commit | 06f4ab2f50dbc01c43bc5c34745100f79b1c9601 (patch) | |
tree | 014ac76b9ab8b8dd81ef1fe27041816097cf0fca | |
parent | 79eaa49b6a09be9d55abe440d95ae7f6e0b5384f (diff) |
Fix own comment
-rw-r--r-- | doc/todo/wishlist:_dropping_git-annex_history/comment_2_f6d750bfe0c9d8a2aa6bc218ca5c49cc._comment | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/todo/wishlist:_dropping_git-annex_history/comment_2_f6d750bfe0c9d8a2aa6bc218ca5c49cc._comment b/doc/todo/wishlist:_dropping_git-annex_history/comment_2_f6d750bfe0c9d8a2aa6bc218ca5c49cc._comment index 39e8e5023..a60973b82 100644 --- a/doc/todo/wishlist:_dropping_git-annex_history/comment_2_f6d750bfe0c9d8a2aa6bc218ca5c49cc._comment +++ b/doc/todo/wishlist:_dropping_git-annex_history/comment_2_f6d750bfe0c9d8a2aa6bc218ca5c49cc._comment @@ -6,8 +6,8 @@ content=""" If starting commit id _and_ commit id from when history is being dropped are documented, you could potentially drop more data. -* Don't have any commits in common? Full merge? -* Only share the starting ids? Reduce local history as much as possible and then merge. +* Don't have any commits in common? Full merge. +* Only share the starting ids? Reduce local history as much as possible, and then merge. * Share both starting id and have the last id somewhere in history? Take history from last id up to current, reduce that, and merge. -- RichiH |