set "edit on gitlab" instead of "view source" in to top right corner of each page

docs/conf.py

@@ -52,6 +52,14 @@ exclude_patterns = ['_build', 'Thumbs.db', '.DS_Store', 'README.md']
 #
 html_theme = 'sphinx_rtd_theme'
 
+html_context = {
+    'display_gitlab': True,
+    'gitlab_host': 'open.greenhost.net',
+    'gitlab_user': 'stackspin',
+    'gitlab_repo': 'stackspin',
+    'gitlab_version': 'main/',
+    'conf_py_path': 'docs/',
+}
 # Add any paths that contain custom static files (such as style sheets) here,
 # relative to this directory. They are copied after the builtin static files,
 # so a file named "default.css" will overwrite the builtin "default.css".