Skip to content

Commit 6d720d4

Browse files
committed
Updates
1 parent 2200dd7 commit 6d720d4

1 file changed

Lines changed: 3 additions & 7 deletions

File tree

scripts/ci_deploy_gh_pages.sh

Lines changed: 3 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -17,17 +17,13 @@ git clone --depth=1 \
1717
/tmp/MapServer-documentation
1818

1919
cd /tmp/MapServer-documentation
20-
git fetch origin gh-pages
21-
git checkout -B gh-pages origin/gh-pages
22-
23-
# delete existing files
24-
git rm -rf --quiet --ignore-unmatch .
25-
20+
git checkout --orphan gh-pages
21+
git rm -rf . || true
2622

2723
# add in the new build files
2824
cp -a "$builddir/html/." .
2925
touch .nojekyll
3026

3127
git add -A
3228
git commit -m "update with results of commit https://github.com/MapServer/MapServer-documentation/commit/$sha" --quiet || echo "Nothing to commit"
33-
git push origin gh-pages
29+
git push origin gh-pages --force

0 commit comments

Comments
 (0)