DibyashanuPati/PhysLean
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request #275 from HEPLean/Website-update

Browse source 
refactor: Update website url
This commit is contained in:
Joseph Tooby-Smith 2025-01-08 16:14:22 +00:00 • committed by GitHub
commit daa0f5f7ff
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
docs/_config.yml
View file

@ -21,9 +21,9 @@
title: "HepLean: Digitalizing High-Energy Physics in Lean 4"
#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
url: "https://heplean.github.io" # the base hostname & protocol for your site, e.g. http://example.com
A project to digitalize results from high-energy physics into Lean 4.
baseurl: "" # the subpath of your site, e.g. /blog
url: "https://heplean.com" # the base hostname & protocol for your site, e.g. http://example.com
#twitter_username: jekyllrb
github_username: "HEPLean"
repository: HEPLean/HepLean