From 490a6dd454ae16f90249553868477f5fec3ddefe Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Dieter=20Werthm=C3=BCller?=
 <prisae@users.noreply.github.com>
Date: Wed, 4 Dec 2024 09:29:37 +0100
Subject: [PATCH] Add button to GitHub Repo

I personally dislike it a lot when I come to the documentation of a source code, but there is no easy/quick link to the repo, which means I have to google to find the repo ;-)

Adding the `"github_url" to the "html_theme_options" should add a GitHub-link-button on the top-right corner, next to the switch for light/dark theme.
---
 docs/source/conf.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/source/conf.py b/docs/source/conf.py
index 75680cac..7c98f203 100644
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -124,6 +124,7 @@
 # Theme config
 html_theme = "pydata_sphinx_theme"
 html_theme_options = {
+    "github_url": "https://github.com/PyLops/pylops",
     # "logo_only": True,
     # "display_version": True,
     "logo": {