diff --git a/mkdocs.yml b/mkdocs.yml
index 8693895b1..6314f0e6a 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -1,4 +1,6 @@
 site_name: hax
+repo_url: https://github.com/hacspec/hax
+repo_name: GitHub
 theme:
   name: material
   logo: static/img/logo.png