From af9f754ce72eb65d23f49bac933601b108d9e5dd Mon Sep 17 00:00:00 2001
From: jstoobysmith <72603918+jstoobysmith@users.noreply.github.com>
Date: Sat, 15 Jun 2024 11:27:21 -0400
Subject: [PATCH] Update _config.yml

---
 doc/_config.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/_config.yml b/doc/_config.yml
index aae10054..c1412f6b 100644
--- a/doc/_config.yml
+++ b/doc/_config.yml
@@ -23,7 +23,7 @@ title: HepLean
 description: >- # this means to ignore newlines until "baseurl:"
   A project to digitalize results from high-energy physics into Lean 4.  
 baseurl: "" # the subpath of your site, e.g. /blog
-url: "" # the base hostname & protocol for your site, e.g. http://example.com
+url: "https://heplean.github.io/HepLean/" # the base hostname & protocol for your site, e.g. http://example.com
 #twitter_username: jekyllrb
 github_username:  HEPLean