ObserverOfTime dbe88f8bbb fixup: remove permission check		2025-09-01 07:35:40 +03:00
..
close_spam.js	fixup: remove permission check	2025-09-01 07:35:40 +03:00
close_unresponsive.js	ci: introduce "response bot"	2024-02-07 16:26:24 +01:00
cross.sh	ci: major overhaul	2024-10-11 18:33:07 -04:00
make.sh	ci: major overhaul	2024-10-11 18:33:07 -04: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	ci: major overhaul	2024-10-11 18:33:07 -04:00