[Docs] Change github repo url (#25)

change github repo url from yaoyaoding/hidet to hidet-rog/hidet
hidet-org · Nov 30, 2022 · 7b55f9d · 7b55f9d
1 parent ae23f06
commit 7b55f9d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/docs/source/conf.py b/docs/source/conf.py
@@ -103,7 +103,7 @@
 html_theme = 'sphinx_book_theme'
 # html_theme = 'sphinx_rtd_theme'
 html_theme_options = {
-    "repository_url": "https://github.com/yaoyaoding/hidet",
+    "repository_url": "https://github.com/hidet-org/hidet",
     "use_repository_button": True,
     'logo_only': True,
     "extra_navbar": r"<a href=/netron target=_blank>Customized Netron</a>",

diff --git a/docs/source/getting-started/install.rst b/docs/source/getting-started/install.rst
@@ -35,7 +35,7 @@ First clone the repository to local:
 
 .. code-block:: console
 
-  $ git clone https://github.com/yaoyaoding/hidet
+  $ git clone https://github.com/hidet-org/hidet
 
 Build shared libraries
 ~~~~~~~~~~~~~~~~~~~~~~