Linter-related dist-install directories dirty the git tree
After building GHC with make
, I see the following in git status
:
$ git status
On branch master
Your branch is up to date with 'origin/master'.
Changes not staged for commit:
(use "git add <file>..." to update what will be committed)
(use "git restore <file>..." to discard changes in working directory)
(commit or discard the untracked or modified content in submodules)
modified: libraries/unix (modified content)
Untracked files:
(use "git add <file>..." to include in what will be committed)
linters/lint-notes/dist-install/
linters/lint-whitespace/dist-install/
linters/linters-common/dist-install/
The part that this issue is concerned with are the linters/*/dist-install/
directories. (The libraries/unix
part is already being tracked separately in #19574.) Since these dist-install
directories are autogenerated, they should be added to .gitignore
like other forms of dist-install
s.