From 35ef82ab6b3d2420ec0d36ed0245d5e0de532308 Mon Sep 17 00:00:00 2001
From: Daniel Dietzler <36593685+danieldietzler@users.noreply.github.com>
Date: Fri, 10 May 2024 19:38:35 +0200
Subject: [PATCH] docs: add discord link (#9379)
add discord link to docs
---
docs/docusaurus.config.js | 5 +++++
docs/src/pages/index.tsx | 7 +++++++
2 files changed, 12 insertions(+)
diff --git a/docs/docusaurus.config.js b/docs/docusaurus.config.js
index 75513e3d3b..a9680fb9a1 100644
--- a/docs/docusaurus.config.js
+++ b/docs/docusaurus.config.js
@@ -119,6 +119,11 @@ const config = {
label: 'GitHub',
position: 'right',
},
+ {
+ href: 'https://discord.gg/D8JsnBEuKb',
+ label: 'Discord',
+ position: 'right',
+ },
],
},
footer: {
diff --git a/docs/src/pages/index.tsx b/docs/src/pages/index.tsx
index f864c07633..de634da70a 100644
--- a/docs/src/pages/index.tsx
+++ b/docs/src/pages/index.tsx
@@ -33,6 +33,13 @@ function HomepageHeader() {
>
Demo portal
+
+
+ Discord
+