Merge pull request #1231 from WoutLegiest:doc-addition

PiperOrigin-RevId: 710614541
google · Dec 30, 2024 · 5f76333 · 5f76333
2 parents 5afeaf4 + 5b560be
commit 5f76333
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/docs/content/en/docs/contributing.md b/docs/content/en/docs/contributing.md
@@ -90,6 +90,8 @@ at the [pull request review stage](#pull-request-review-flow).
     pre-commit run --all
    ```
 
+If failed, check [Pre-commit](https://heir.dev/docs/development/#pre-commit).
+
 1. Make sure tests are passing with the following:
 
    ```bash