Fix CI pages deploy

This commit is contained in:
Dominic Grimm 2022-11-01 12:40:33 +01:00
parent 3cea8a33f8
commit ff9ede642c
No known key found for this signature in database
GPG key ID: 6F294212DEAAC530

View file

@ -137,7 +137,7 @@ steps:
commands:
- git clone --depth 1 --branch pages https://git.dergrimm.net/mentorenwahl/mentorenwahl.git /tmp/pages
- ls -la /tmp/pages
- find /tmp/pages/ -not -name '.git' -delete
- find /tmp/pages/* -not -name '.git' -delete
- ls -la /tmp/pages
# - rm -rf /tmp/pages/*
# - cp -r ./docs/book/* /tmp/pages