diff options
| author | Paul Tan <pyokagan@gmail.com> | 2015-06-18 18:54:05 +0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2015-06-18 13:17:24 -0700 |
| commit | fe911b8ca0b466697b38880512ea2b28f2699dbd (patch) | |
| tree | ce1df7bebacd2abcf29101649f2819a19883b506 /wildmatch.h | |
| parent | 4a4cf9e821f604b79817bc37b475828f3fb8b0a4 (diff) | |
| download | git-fe911b8ca0b466697b38880512ea2b28f2699dbd.tar.gz | |
pull: fast-forward working tree if head is updated
Since b10ac50 (Fix pulling into the same branch., 2005-08-25), git-pull,
upon detecting that git-fetch updated the current head, will
fast-forward the working tree to the updated head commit.
Re-implement this behavior.
Signed-off-by: Paul Tan <pyokagan@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'wildmatch.h')
0 files changed, 0 insertions, 0 deletions