| 97 | | as normal. However, you may find it useful to <TODO: add instructions |
| 98 | | for making --ignore-submodules=dirty the default for "git status">, |
| 99 | | or each time you run `git status`, git will check for changes not only |
| 100 | | in the GHC repository, but also in all the submodules. |
| | 97 | as normal. However, you may find it useful to run |
| | 98 | {{{ |
| | 99 | git config --global diff.ignoreSubmodules dirty |
| | 100 | }}} |
| | 101 | or each time you run `git status` or `git diff`, git will check for |
| | 102 | changes not only in the GHC repository, but also in all the submodules. |
