diff options
author | Nguyễn Thái Ngọc Duy <pclouds@gmail.com> | 2011-11-27 17:15:33 +0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2011-11-28 10:41:53 -0800 |
commit | c1d7036b6bfea586a30c6eac672e58e22e5ceaf5 (patch) | |
tree | 3e5bef920f7ce6b7d8fe2bb2d21066951776255e /git-request-pull.sh | |
parent | Merge branch 'nd/maint-ignore-exclude' into nd/ignore-might-be-precious (diff) | |
download | tgif-c1d7036b6bfea586a30c6eac672e58e22e5ceaf5.tar.xz |
checkout,merge: disallow overwriting ignored files with --no-overwrite-ignore
Ignored files usually are generated files (e.g. .o files) and can be
safely discarded. However sometimes users may have important files in
working directory, but still want a clean "git status", so they mark
them as ignored files. But in this case, these files should not be
overwritten without asking first.
Enable this use case with --no-overwrite-ignore, where git only sees
tracked and untracked files, no ignored files. Those who mix
discardable ignored files with important ones may have to sort it out
themselves.
Signed-off-by: Nguyễn Thái Ngọc Duy <pclouds@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-request-pull.sh')
0 files changed, 0 insertions, 0 deletions