tools: add orphan doc detection to check_schema_docs.py and remove stale files (#3853)

This commit is contained in:
Ludovico Magnocavallo
2026-04-10 16:41:04 +02:00
committed by GitHub
parent 118b70d456
commit ae9c94adf5
4 changed files with 12 additions and 165 deletions

View File

@@ -218,3 +218,4 @@ Modify one existing README example (do not add a new one) to demonstrate context
- Always break down complex requests into small, iterative tasks.
- For each task, propose the necessary edits and explicitly wait for user confirmation or discussion before proceeding.
- Always use the `replace` tool to both perform and cleanly display the proposed text modifications. Do not silently overwrite files or use shell commands for text edits.
- **CRITICAL:** NEVER use shell redirections (like `cat << 'EOF' > file` or `echo "text" > file`) or `sed`/`awk` scripts for editing files. Always use the `replace` tool for targeted edits or the `write_file` tool for new/small files.