Remove invalid "repo_type" option

mhostetter · Aug 6, 2023 · 7c59b3f · 7c59b3f
1 parent 8304fdf
commit 7c59b3f
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/docs/conf.py b/docs/conf.py
@@ -123,7 +123,6 @@
     "site_url": "https://galois.readthedocs.io/",
     "repo_url": "https://github.com/mhostetter/galois",
     "repo_name": "mhostetter/galois",
-    "repo_type": "github",
     "social": [
         {
             "icon": "fontawesome/brands/github",