Change name of domains to avoid confusion

This commit is contained in:
Antoine Martin 2025-02-15 01:52:13 -05:00
parent c020f65c0d
commit 35210337fd
Signed by: ayakael
GPG key ID: D62A472A4AA7D541
2 changed files with 2 additions and 1 deletions

View file

@ -26,10 +26,11 @@ jobs:
run: ikiwiki --setup ikiwiki.setup run: ikiwiki --setup ikiwiki.setup
- name: Website upload - name: Website upload
run: | run: |
cp .domains public/.domains cp .pages-domains public/.domains
git log -1 --pretty=%B > commit.txt git log -1 --pretty=%B > commit.txt
cd public cd public
date > generated.txt date > generated.txt
ln -s index.fr.html public/index.html
# Note: the following account information will not work on GHES # Note: the following account information will not work on GHES
git config user.name "forgejo-actions[bot]" git config user.name "forgejo-actions[bot]"
git config user.email "dev@ayakael.net" git config user.email "dev@ayakael.net"