From b37b7640268a9276184b7f2c086b961e96defc9c Mon Sep 17 00:00:00 2001
From: jstoobysmith <72603918+jstoobysmith@users.noreply.github.com>
Date: Sat, 15 Jun 2024 11:47:04 -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 0a45b87..06c6ffe 100644
--- a/doc/_config.yml
+++ b/doc/_config.yml
@@ -19,7 +19,7 @@
 # in the templates via {{ site.myvariable }}.
 
 title: HepLean
-#email: your-email@example.com
+email: HEPLean
 description: >- # this means to ignore newlines until "baseurl:"
   A project to digitalize results from high-energy physics into Lean 4.  
 baseurl: "/HepLean" # the subpath of your site, e.g. /blog