diff options
| -rw-r--r-- | .github/copilot-instructions.md | 3 |
1 files changed, 2 insertions, 1 deletions
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 |