Skip to content

Commit e7aec34

Browse files
committed
[meta] Make the GH site the default site!!
This changes the SITEURL from `test.idris-lang.org` to `www.idris-lang.org`, marking the first step towards the site being much more maintainable. Fingers crossed that as the DNS propagates, the updated version of the site shows up.
1 parent 73422ed commit e7aec34

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/workflows/pelican.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -45,7 +45,7 @@ env:
4545
SETTINGS: "publishconf.py"
4646
PYTHON: "3.9"
4747
# TODO: update when officially switching to community-managed page
48-
SITEURL: "https://test.idris-lang.org/"
48+
SITEURL: "https://www.idris-lang.org/"
4949
REQUIREMENTS: "-r requirements.txt"
5050
# FIXME: remove once official action can be used
5151
OUTPUT_PATH: "output/"

0 commit comments

Comments
 (0)