diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-08-02 19:29:53 +0100 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-08-03 22:41:51 +0100 |
| commit | a820bbcc18d1cc4c8719185d61aef5ab63e2247b (patch) | |
| tree | c51dcdf0a6f5ef99c679aa7e910047d859972dc3 /dgit-maint-gbp.7.pod | |
| parent | f871bade5ee513f8367ebb35a843778df61eaed2 (diff) | |
worktree support: dgit: Fix for .git/logs/refs/
Experimentally, both the common dir and the worktree's git dir have a
.git/logs. But, as might be expected, the worktree's one has the
reflog for its HEAD and not any of the refs/ reflogs.
Implicitly, we are deciding here that the dgit quilt cache is shared
between all worktrees. That seems fine. I think we don't ever rely
on its actual current value, so even concurrent dgit runs ought to be
fine.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'dgit-maint-gbp.7.pod')
0 files changed, 0 insertions, 0 deletions