tree 1e7243c03179dfef1d7ef7c81cdc1d86159ab53d
parent 4b172de81b878cdc8b10803fd0cd79b3ca66a621
author Johannes Schindelin <Johannes.Schindelin@gmx.de> 1210784611 +0100
committer Junio C Hamano <gitster@pobox.com> 1210893160 -0700

diff options: Introduce --ignore-submodules

The new option --ignore-submodules can now be used to ignore changes in
submodules.

Why?  Sometimes it is not interesting when a submodule changed.

For example, when reordering some commits in the superproject, a dirty
submodule is usually totally uninteresting.  So we will use this option
in git-rebase to test for a dirty working tree.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>