From 7f691198de60a3b6144822c77ad61ef30a5e2ed0 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Tue, 3 Mar 2026 22:12:53 +0530 Subject: [PATCH] Try to get copilot to setup the repo first before doing anything else --- .github/copilot-instructions.md | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/.github/copilot-instructions.md b/.github/copilot-instructions.md index cca21a159..63450bc0b 100644 --- a/.github/copilot-instructions.md +++ b/.github/copilot-instructions.md @@ -1,3 +1,11 @@ +Before implementing any code changes or responding to a request, run the +following command: + +./dev.sh build + +This will create all generated files and build the project, make it ready for +inspection. + # Repository Build & Test Instructions ## Build Procedures