Added a comment
This commit is contained in:
parent
4f1861270c
commit
d50bb5012d
1 changed files with 14 additions and 0 deletions
|
@ -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
|
||||
"""]]
|
Loading…
Add table
Reference in a new issue