Skip to content

fix: stop ignoring core/src/bindings in .gitignore - #661

Open
malaverdiere wants to merge 1 commit into
mainfrom
fix/gitignore-keep-core-bindings
Open

fix: stop ignoring core/src/bindings in .gitignore#661
malaverdiere wants to merge 1 commit into
mainfrom
fix/gitignore-keep-core-bindings

Conversation

@malaverdiere

Copy link
Copy Markdown
Contributor

Summary

  • Narrow the bindings/ gitignore pattern to /lang/**/bindings/ so core/src/bindings (the OCaml C API library) is not ignored.
  • A bare bindings/ was being copied into semgrep dockerignores via gitignore-to-dockerignore, which excluded the library from Docker build contexts and broke builds with Library "tree-sitter.bindings" not found.

Test plan

  • Confirm core/src/bindings is still tracked
  • Bump this commit in semgrep-proprietary and verify Docker make core finds tree-sitter.bindings

Made with Cursor

A bare bindings/ pattern also matched the hand-written OCaml C API
library at core/src/bindings. gitignore-to-dockerignore then excluded
it from Docker build contexts, breaking semgrep-core builds with
Library "tree-sitter.bindings" not found.

Co-authored-by: Cursor <cursoragent@cursor.com>
@malaverdiere
malaverdiere requested a review from a team as a code owner August 28, 2026 15:57
@malaverdiere
malaverdiere requested a review from tean-lai August 28, 2026 15:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants