diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index ec81d59f76b..1ba476ce4b9 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -76,6 +76,11 @@ the appropriate branches.
 you can perform these locally, and then push the new commit following
 the same process as above.
 
+## Development Environment Setup
+
+Please refer to our [development page](docs/dev/development.md) for instructions
+on setting up your local development environment.
+
 ## Code Testing Standards
 
 When a pull request is created or updated, various automatic checks will