updating config.yml

Author: sinhp

home_page/_config.yml

@@ -22,10 +22,10 @@ title: "HoTTLean : Formalizing the Meta-Theory of HoTT in Lean"
 #email: your-email@example.com
 description: by S. Awodey, M. Carneiro, S. Hazratpour, J. Hua, W. Nawrocki, S. Woolfson, Y. Xu
 baseurl: "" # the subpath of your site, e.g. /blog
-url: "https://sinhp.github.io/groupoid_model_in_lean4" # the base hostname & protocol for your site, e.g. http://example.com
+url: "https://sinhp.github.io/HoTTLean" # the base hostname & protocol for your site, e.g. http://example.com
 twitter_username:
 github_username: sinhp
-repository: sinhp/groupoid_model_in_lean4
+repository: sinhp/HoTTLean
 
 # Build settings
 remote_theme: pages-themes/cayman@v0.2.0