Update

README.md

@@ -48,8 +48,8 @@ To tailor this template to your specific project, you need to:
 - [`docs/_config.yml`](docs/_config.yml): 
     - Replace `Title` with the actual title for the project website. 
     - Replace `Description` with the actual description for the project website.
-    - Replace `https://username.github.io/LeanProject/` with the actual URL for the project website.
-    - Replace `username/LeanProject` with the actual GitHub repository.
+    - Replace `https://pitmonticone.github.io/LeanProject/` with the actual URL for the project website.
+    - Replace `pitmonticone/LeanProject` with the actual GitHub repository.
 - [`docs/index.md`](docs/index.md): Customise the content of the project website. 
 - [`Project`](Project): Rename the folder to match your actual project name.
 - [`Project/Example.lean`](Project/Example.lean): Remove it and replace it with your actual project code.

docs/_config.yml

@@ -22,10 +22,10 @@ title: Title
 #email: [email protected]
 description: Description
 baseurl: "" # the subpath of your site, e.g. /blog
-url: "https://username.github.io/LeanProject/" # the base hostname & protocol for your site, e.g. http://example.com
+url: "https://pitmonticone.github.io/LeanProject/" # the base hostname & protocol for your site, e.g. http://example.com
 twitter_username: 
 github_username: 
-repository: username/LeanProject
+repository: pitmonticone/LeanProject
 
 # Build settings
 remote_theme: pages-themes/[email protected]