diff --git a/.github/copilot-instructions.md b/.github/copilot-instructions.md new file mode 100644 index 000000000000..6621d59b7c23 --- /dev/null +++ b/.github/copilot-instructions.md @@ -0,0 +1,4 @@ +When reviewing code: +* do not review changes in files with `.expected` extension (they are automatically ensured to be correct). +* in `.ql` and `.qll` files, do not try to review the code itself as you don't understand the programming language + well enough to make comments in these languages. You can still check for typos or comment improvements.