diff options
| author | Yong He <yonghe@outlook.com> | 2025-07-10 11:01:39 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-10 11:01:39 -0700 |
| commit | c1d07df3ede2e0d87d81a8d10429ae5df88519e1 (patch) | |
| tree | c5cb240f4849a550221df1bb0f0bddf17629033d | |
| parent | 2d82d630e11d296ce1f52fe27d17081070042d56 (diff) | |
copilot instruction prompt: emphasize to format changes.
| -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 |