summaryrefslogtreecommitdiff
path: root/git-request-pull.sh
diff options
context:
space:
mode:
authorLibravatar Nguyễn Thái Ngọc Duy <pclouds@gmail.com>2011-11-27 17:15:33 +0700
committerLibravatar Junio C Hamano <gitster@pobox.com>2011-11-28 10:41:53 -0800
commitc1d7036b6bfea586a30c6eac672e58e22e5ceaf5 (patch)
tree3e5bef920f7ce6b7d8fe2bb2d21066951776255e /git-request-pull.sh
parentMerge branch 'nd/maint-ignore-exclude' into nd/ignore-might-be-precious (diff)
downloadtgif-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