From f6a2721f6324ecb13771640f4905b068e6cf390a Mon Sep 17 00:00:00 2001 From: Ross Barnowski Date: Tue, 1 Oct 2024 13:26:50 -0700 Subject: [PATCH] Turn off edit-this-page button. --- site/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/site/conf.py b/site/conf.py index e1fe5b63..4aea25ca 100644 --- a/site/conf.py +++ b/site/conf.py @@ -65,7 +65,7 @@ "repository_branch": "main", "use_repository_button": True, "use_issues_button": True, - "use_edit_page_button": True, + "use_edit_page_button": False, "path_to_docs": "site/", "launch_buttons": { "binderhub_url": "https://mybinder.org",