adding github repo link to docs page

Author: jhawkey

docs/source/conf.py

@@ -27,7 +27,13 @@
 html_theme_options = {
     "show_toc_level": 3,
     "home_page_in_toc": True,
-    "navigation_depth": 4
+    "navigation_depth": 4,
+    "repository_url": "https://github.com/AMRverse/AMRrules/",
+    "use_repository_button": True,
+    "use_issues_button": False,
+    "use_edit_page_button": False,
+    "path_to_docs": "docs", # Change this if your folder is named 'doc' or similar
+    "repository_branch": "main",
 
 }
 #html_static_path = ['_static']