diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-08-02 19:22:28 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-08-03 20:37:19 +0100 |
commit | f871bade5ee513f8367ebb35a843778df61eaed2 (patch) | |
tree | f20a4ce1538ff80eca358b24c2928d3f10137df7 /infra | |
parent | 8a6027965b4f02552cf754f9ec081e35c7174146 (diff) |
worktree support: dgit: Fix for .git/info/attributes
Experimentally, this file is in the common dir, not the per-worktree
dir. Honour $maindir_gitcommon everywhere.
Rename `open_main_gitattrs'. Previously it could in theory be used in
the playtree (but, it isn't). Now it always operates on the main
tree.
Indeed, as we require, the `setup' stuff is only done in the main
tree. The gitattributes fixes for playtrees are done,
unconditionally, with the much simpler hammer in playtree_setup.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'infra')
0 files changed, 0 insertions, 0 deletions