diff options
| author | Junio C Hamano <gitster@pobox.com> | 2013-09-20 12:37:32 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2013-09-20 12:37:32 -0700 |
| commit | 005a1de380733477382c50e2e44ed8042c401fed (patch) | |
| tree | 16d8b71bca9dd50d0c46b14948920b374f88c634 /refs.c | |
| parent | b4980c63acad8457fb3606b9bd8b74d5e7cba8dd (diff) | |
| parent | 8231fa6ae1ef92be73bec5cf0a533a4d8b71d536 (diff) | |
| download | git-005a1de380733477382c50e2e44ed8042c401fed.tar.gz | |
Merge branch 'dw/check-ignore-sans-index'
"git check-ignore" follows the same rule as "git add" and "git
status" in that the ignore/exclude mechanism does not take effect
on paths that are already tracked. With "--no-index" option, it
can be used to diagnose which paths that should have been ignored
have been mistakenly added to the index.
* dw/check-ignore-sans-index:
check-ignore: Add option to ignore index contents
Diffstat (limited to 'refs.c')
0 files changed, 0 insertions, 0 deletions