use giscus to allow comments (#50)

leanprover-community · Aug 22, 2023 · 4c30c17 · 4c30c17
1 parent d3d30d9
commit 4c30c17
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/themes/lean_theme/templates/base.tmpl b/themes/lean_theme/templates/base.tmpl
@@ -16,6 +16,22 @@
         {{ header.html_header() }}
         <main id="content">
             {% block content %}{% endblock %}
+
+        <script src="https://giscus.app/client.js"
+            data-repo="leanprover-community/blog"
+            data-repo-id="MDEwOlJlcG9zaXRvcnkzOTM3OTE1ODU="
+            data-category="Announcements"
+            data-category-id="DIC_kwDOF3jIYc4CQntU"
+            data-mapping="og:title"
+            data-strict="1"
+            data-reactions-enabled="1"
+            data-emit-metadata="0"
+            data-input-position="bottom"
+            data-theme="light"
+            data-lang="en"
+            crossorigin="anonymous"
+            async>
+        </script>
         </main>
         {{ footer.html_footer() }}
     </div>