diff options
| -rw-r--r-- | .github/CONTRIBUTING.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/CONTRIBUTING.md b/.github/CONTRIBUTING.md index cf6a2968b..8538a7897 100644 --- a/.github/CONTRIBUTING.md +++ b/.github/CONTRIBUTING.md @@ -19,7 +19,7 @@ Before submitting, please make sure the following is done: 1. There are tests that cover the changes. 2. Ensure `./tools/test.py` passes. -3. Format your code with `./tools/format.ts`. +3. Format your code with `deno ./tools/format.ts --allow-run`. 4. Make sure `./tools/lint.py` passes. ## Changes to `third_party` |