diff options
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._comment | 14 |
1 files changed, 0 insertions, 14 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 deleted file mode 100644 index a60973b82..000000000 --- a/doc/todo/wishlist:_dropping_git-annex_history/comment_2_f6d750bfe0c9d8a2aa6bc218ca5c49cc._comment +++ /dev/null @@ -1,14 +0,0 @@ -[[!comment format=mdwn - username="https://www.google.com/accounts/o8/id?id=AItOawl9sYlePmv1xK-VvjBdN-5doOa_Xw-jH4U" - nickname="Richard" - subject="comment 2" - date="2013-08-27T20:02:23Z" - 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. -* 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 -"""]] |