diff options
author | 2012-05-19 10:51:22 -0400 | |
---|---|---|
committer | 2012-05-19 11:08:50 -0400 | |
commit | ebbd24e5ed6bbb41305d8105d7fac355dcf15bbc (patch) | |
tree | b97c41c31ceab8ccf89ed1cf20d86915b4270283 /debian/changelog | |
parent | 9d9814477601217c8d39d75cc03e27ee4d734de3 (diff) |
more worktree improvements
Avoid more expensive code path when no core.worktree is configured.
Don't change worktree when reading config if one is already set.
This could happen if GIT_CORE_WORKTREE is set, and the repo also has
core.worktree, and the config is reread. Now GIT_CORE_WORKTREE will
prevail.
Diffstat (limited to 'debian/changelog')
0 files changed, 0 insertions, 0 deletions