diff options
author | Michael Davis | 2024-01-11 15:26:25 +0000 |
---|---|---|
committer | GitHub | 2024-01-11 15:26:25 +0000 |
commit | 17dd102e5cccbb2a9a0f0224af63e52f3dab846b (patch) | |
tree | 37fde37e73aca395e4cd49b1a488491979a43ddb /runtime/queries/edoc/highlights.scm | |
parent | 7739d3ece1828506bbf2ab87233d10e36c3f6098 (diff) |
Remove sourcehut tree-sitter grammars from default build (#9316)
Sourcehut has outages occasionally that cause the CI and from-source
builds to fail. It also doesn't setup redirects when a user renames
themselves, so if a user that publishes a tree-sitter grammar we use
changes their sourcehut name then it breaks the build and any prior
builds using that grammar.
For now let's remove them from the default build. It's a bandaid over
a larger reliability and trust problem with the grammar repositories
but it should fix the build for now.
Diffstat (limited to 'runtime/queries/edoc/highlights.scm')
0 files changed, 0 insertions, 0 deletions