summaryrefslogtreecommitdiff
path: root/doc/todo/wishlist:_dropping_git-annex_history/comment_2_f6d750bfe0c9d8a2aa6bc218ca5c49cc._comment
diff options
context:
space:
mode:
Diffstat (limited to 'doc/todo/wishlist:_dropping_git-annex_history/comment_2_f6d750bfe0c9d8a2aa6bc218ca5c49cc._comment')
-rw-r--r--doc/todo/wishlist:_dropping_git-annex_history/comment_2_f6d750bfe0c9d8a2aa6bc218ca5c49cc._comment4
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