commit | 005a1de380733477382c50e2e44ed8042c401fed | [log] [tgz] |
---|---|---|
author | Junio C Hamano <gitster@pobox.com> | Fri Sep 20 12:37:32 2013 -0700 |
committer | Junio C Hamano <gitster@pobox.com> | Fri Sep 20 12:37:32 2013 -0700 |
tree | 16d8b71bca9dd50d0c46b14948920b374f88c634 | |
parent | b4980c63acad8457fb3606b9bd8b74d5e7cba8dd [diff] | |
parent | 8231fa6ae1ef92be73bec5cf0a533a4d8b71d536 [diff] |
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