diff options
| author | Bartek Iwańczuk <biwanczuk@gmail.com> | 2020-11-05 15:53:21 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-05 15:53:21 +0100 |
| commit | 791119d4af1066b20fa2b5bf8fc82d04d843d51d (patch) | |
| tree | 94890756f4380fb2c1d8abd92af66128533a1535 /docs/contributing.md | |
| parent | e7cfd90b0f72874aa1535a382df32dce28bd587a (diff) | |
build: rewrite tools/ scripts to deno (#8247)
This commit rewrites scripts in "tools/" directory
to use Deno instead of Python. In return it allows
to remove huge number of Python packages in "third_party/".
Diffstat (limited to 'docs/contributing.md')
| -rw-r--r-- | docs/contributing.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/contributing.md b/docs/contributing.md index daabcf055..14af3f6aa 100644 --- a/docs/contributing.md +++ b/docs/contributing.md @@ -42,8 +42,8 @@ Examples of bad PR title: 2. Ensure there is a related issue and it is referenced in the PR text. 3. Ensure there are tests that cover the changes. 4. Ensure `cargo test` passes. -5. Ensure `./tools/format.py` passes without changing files. -6. Ensure `./tools/lint.py` passes. +5. Ensure `./tools/format.js` passes without changing files. +6. Ensure `./tools/lint.js` passes. ## Changes to `third_party` |