add "Contact" page, mention GitHub Discussions #27

opendp · Jun 11, 2021 · 9e71670 · 9e71670
1 parent 9ae74d6
commit 9e71670
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 6 deletions.
diff --git a/source/conf.py b/source/conf.py
@@ -73,12 +73,6 @@
 
 # Custom sidebar templates, maps document names to template names.
 html_theme_options = {
-    "external_links": [
-        {
-            "name": "GitHub Discussions",
-            "url": "https://github.com/opendp/opendp/discussions"
-        },
-    ],
     "icon_links": [
         {
             "name": "GitHub Discussions",

diff --git a/source/contact/index.rst b/source/contact/index.rst
@@ -0,0 +1,8 @@
+Contact
+=======
+
+A great way to get in contact with the OpenDP community is `GitHub Discussions`_.
+
+.. _GitHub Discussions: https://github.com/opendp/opendp/discussions
+
+For private or security-related matters, please email info@opendp.org.
diff --git a/source/index.rst b/source/index.rst
@@ -14,6 +14,7 @@ OpenDP documentation is organized into the guides below. In addition to browsing
   user/index
   contrib/index
   smartnoise/index
+  contact/index
 
 This is version |version| of the guides.