Fix tooltip in docs header (#659)

jupyter · Nov 5, 2022 · a3d38ad · a3d38ad
1 parent 2176bde
commit a3d38ad
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/source/conf.py b/docs/source/conf.py
@@ -103,7 +103,7 @@
             "icon": "fab fa-github-square",
         },
         {
-            "name": "GitLab",
+            "name": "Discourse",
             "url": "https://discourse.jupyter.org",
             "icon": "fab fa-discourse",
         },