1
Fork 0

Rollup merge of #135793 - jyn514:gitignore, r=jieyouxu

Ignore `mermaid.min.js`

It is very long and tends to match a lot of search queries. It's not useful to show with ripgrep.

Note that this does not actually untrack the file; changes can still be committed (although I suspect it may not have been intentional to commit originally?). This just changes how it interacts with tools that use `.gitignore` as a default filter.

r? rustc-dev-guide
This commit is contained in:
Matthias Krüger 2025-01-21 23:30:20 +01:00 committed by GitHub
commit 79f128183f
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

1
.gitignore vendored
View file

@ -83,6 +83,7 @@ __pycache__/
node_modules
package-lock.json
package.json
/src/doc/rustc-dev-guide/mermaid.min.js
## Rustdoc GUI tests
tests/rustdoc-gui/src/**.lock