From 7c59b3f6a39e76532abd9f22c17fb98f968179a8 Mon Sep 17 00:00:00 2001
From: mhostetter <matthostetter@gmail.com>
Date: Sun, 6 Aug 2023 10:41:46 -0400
Subject: [PATCH] Remove invalid `"repo_type"` option

---
 docs/conf.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/docs/conf.py b/docs/conf.py
index a4f2b8553..cae82d70b 100644
--- 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",