diff options
author | Joey Hess <joeyh@joeyh.name> | 2015-10-08 18:32:31 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2015-10-08 18:34:48 -0400 |
commit | 9b613b4275987d2a5424c8995b304e2a45e9cc66 (patch) | |
tree | 621f39c1fd54073a80064db1a16734b1de10e126 /Types/BranchState.hs | |
parent | 51b93b1606bac86ffc66d4cf3a457888a6800778 (diff) |
TrustedCopy is good enough to allow dropping
By definition, a trusted repository is trusted to always have its location
tracking log accurate. Thus, it should never be in a position where content
is being dropped from it concurrently, as that would result in the location
tracking log not being accurate.
Diffstat (limited to 'Types/BranchState.hs')
0 files changed, 0 insertions, 0 deletions