diff options
| author |  Eric Sunshine <sunshine@sunshineco.com> | 2015-07-17 19:00:16 -0400 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2015-07-20 11:29:52 -0700 |
| commit | 1c56190aec502d946eb3db7365d6e54e2ffc7bd2 (patch) | |
| tree | eeacd225b72e0374f1929fbe77d120c3f3f31a6a /Documentation/git-update-server-info.txt | |
| parent | worktree: avoid resolving HEAD unnecessarily (diff) | |
| download | tgif-1c56190aec502d946eb3db7365d6e54e2ffc7bd2.tar.xz | |
worktree: populate via "git reset --hard" rather than "git checkout"
Now that git-worktree handles all functionality (--force, --detach,
-b/-B) previously delegated to git-checkout, actual population of the
new worktree can be accomplished more directly and lightweight with
"git reset --hard" in place of "git checkout".
Signed-off-by: Eric Sunshine <sunshine@sunshineco.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-update-server-info.txt')
0 files changed, 0 insertions, 0 deletions