From c88049a9f49daa8db6d818a8973b2a84b6146b03 Mon Sep 17 00:00:00 2001 From: Paolo Tranquilli Date: Fri, 27 Jun 2025 09:06:08 +0200 Subject: [PATCH] Create copilot-instructions.md --- .github/copilot-instructions.md | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 .github/copilot-instructions.md 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.