From c1d07df3ede2e0d87d81a8d10429ae5df88519e1 Mon Sep 17 00:00:00 2001 From: Yong He Date: Thu, 10 Jul 2025 11:01:39 -0700 Subject: copilot instruction prompt: emphasize to format changes. --- .github/copilot-instructions.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/copilot-instructions.md b/.github/copilot-instructions.md index 180478fef..8475f70f5 100644 --- a/.github/copilot-instructions.md +++ b/.github/copilot-instructions.md @@ -12,8 +12,9 @@ Detailed build instructions can be found in docs/building.md ## Formatting +DO THIS BEFORE COMMITING YOUR CHANGES: + RUN `./extras/formatting.sh` to format your changes first!! Your PR needs to be formatted according to our coding style. -Run `./extras/formatting.sh` script to format your changes before submitting them. ## Labeling your PR -- cgit v1.2.3