Add dev guide to docs(#12291)

copy CONTRIBUTING.md to docs
2025-09-02 11:39:18 +00:00 · 2023-10-25 12:28:43 -07:00
parent aa212c3d0e
commit ab3c124ffb
4 changed files with 8 additions and 2 deletions
--- a/docs/docusaurus.config.js
+++ b/docs/docusaurus.config.js
@@ -173,6 +173,10 @@ const config = {
                to: "/docs/community",
                label: "Community",
              },
+              {
+                to: "/docs/contributing",
+                label: "Developer's guide",
+              },
              {
                to: "/docs/additional_resources/dependents",
                label: "Dependents",