Skip to content

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 (closed).) Since these dist-install directories are autogenerated, they should be added to .gitignore like other forms of dist-installs.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information