add gitnet.page domain
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful

This commit is contained in:
Simon Vieille 2024-01-23 13:54:58 +01:00
parent 0320aef511
commit e8364a3876
Signed by: deblan
GPG key ID: 579388D585F70417

View file

@ -22,10 +22,10 @@ steps:
- git fetch --no-tags origin +refs/heads/pages
- git remote add upstream git@gitnet.fr:murph/murph-doc.git
- git switch pages
- echo doc.murph-project.org > site/.domains
- mv site /tmp/
- rm * -fr
- mv /tmp/site/* .
- echo doc.murph-project.org > .domains
- git add .
- git commit -m "Build ${CI_BUILD_NUMBER}"
- git push upstream pages