diff options
author | 2016-06-03 13:48:14 -0400 | |
---|---|---|
committer | 2016-06-03 13:57:00 -0400 | |
commit | 583b8394b3c8f02a096352c76c63580c117d4482 (patch) | |
tree | cab673f51709e8639736a2adc65ec18f40ee993a /.ghci | |
parent | 667ba46d7fd2f12141cfc49bd339d3861e87f4ed (diff) |
withAltRepo needs a separate queue of changes
The queue could potentially contain changes from before withAltRepo, and
get flushed inside the call, which would apply the changes to the modified
repo.
Or, changes could be queued in withAltRepo that were intended to affect
the modified repo, but don't get flushed until later.
I don't know of any cases where either happens, but better safe than sorry.
Note that this affect withIndexFile, which is used in git-annex branch
updates. So, it potentially makes things slower. Should not be by much;
the overhead consists only of querying the current queue a couple of times,
and potentially flushing changes queued within withAltRepo earlier, that
could have maybe been bundled with other later changes.
Notice in particular that the existing queue is not flushed when calling
withAltRepo. So eg when git annex add needs to stage files in the index,
it will still bundle them together efficiently.
Diffstat (limited to '.ghci')
0 files changed, 0 insertions, 0 deletions