diff options
| author |  https://www.google.com/accounts/o8/id?id=AItOawl9sYlePmv1xK-VvjBdN-5doOa_Xw-jH4U <Richard@web> | 2013-08-27 20:02:23 +0000 |
|---|---|---|
| committer |  admin <admin@branchable.com> | 2013-08-27 20:02:23 +0000 |
| commit | d5b78049a620eddaaa70cda92bfdb56fcfc94551 (patch) | |
| tree | 66178c49a894a7b30c2c0177de98ad1138c4c79b | |
| parent | 0da6d7abbf0e1447b91333e3c7c8d624943b70ab (diff) | |
Added a comment
| -rw-r--r-- | doc/todo/wishlist:_dropping_git-annex_history/comment_2_f6d750bfe0c9d8a2aa6bc218ca5c49cc._comment | 14 |
1 files changed, 14 insertions, 0 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 new file mode 100644 index 000000000..39e8e5023 --- /dev/null +++ b/doc/todo/wishlist:_dropping_git-annex_history/comment_2_f6d750bfe0c9d8a2aa6bc218ca5c49cc._comment @@ -0,0 +1,14 @@ +[[!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 +"""]] |