tree-sitter/.github/scripts
2024-02-15 15:39:39 +01:00
..
close_unresponsive.js ci: introduce "response bot" 2024-02-07 16:26:24 +01:00
cross.sh cicd: a series of small improvements 2023-05-03 05:29:34 +03:00
make.sh cicd: a series of small improvements 2023-05-03 05:29:34 +03:00
remove_response_label.js ci: introduce "response bot" 2024-02-07 16:26:24 +01:00
reviewers_remove.js ci: remove reviewers when drafting or closing a PR 2024-02-15 15:39:39 +01:00
tree-sitter.sh cicd: a series of small improvements 2023-05-03 05:29:34 +03:00