summaryrefslogtreecommitdiff
path: root/doc/todo
diff options
context:
space:
mode:
authorGravatar Richard Hartmann <richih@debian.org>2013-08-28 22:01:49 +0200
committerGravatar Richard Hartmann <richih@debian.org>2013-08-28 22:01:49 +0200
commit06f4ab2f50dbc01c43bc5c34745100f79b1c9601 (patch)
tree014ac76b9ab8b8dd81ef1fe27041816097cf0fca /doc/todo
parent79eaa49b6a09be9d55abe440d95ae7f6e0b5384f (diff)
Fix own comment
Diffstat (limited to 'doc/todo')
-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