ci: improve the 'Publish website' step (#1046)

This makes that step use rsync to upload the website and demos.

Besides supporting compression, rsync also only sends the changes
over the wire.

This improves the performance of that step by a wide margin, reducing
normal upload times from almost 9 minutes down to about 20s for the most
common changes.

This uses rsync's ability to also remove stale files, to make sure
we don't leave old files behind. (This ignores the directories which are
handled separately, like llvm+clang and demos).

There were some pretty stale things left behind that this now removes,
such as a sitemap.xml which was generated last year.

Fixes #1039

Author: mizvekov

.github/workflows/ci.yml

@@ -581,7 +581,7 @@ jobs:
         uses: alandefreitas/cpp-actions/[email protected]
         id: package-install
         with:
-          apt-get: build-essential asciidoctor cmake bzip2 git
+          apt-get: build-essential asciidoctor cmake bzip2 git rsync
 
       - name: Clone MrDocs
         uses: actions/checkout@v4
@@ -711,6 +711,7 @@ jobs:
           node render.js
           mkdir -p ../../build/website
           cp index.html ../../build/website/index.html
+          cp robots.txt ../../build/website/robots.txt
           cp styles.css ../../build/website/styles.css
           cp -r assets ../../build/website/assets
 
@@ -963,6 +964,7 @@ jobs:
         env:
           SSH_AUTH_SOCK: /tmp/ssh_agent.sock
         run: |
+          set -euvx
           # Add SSH key
           mkdir -p /home/runner/.ssh
           ssh-keyscan dev-websites.cpp.al >> /home/runner/.ssh/known_hosts
@@ -972,17 +974,15 @@ jobs:
           ssh-agent -a $SSH_AUTH_SOCK > /dev/null
           ssh-add /home/runner/.ssh/github_actions
 
+          rsyncopts=(--recursive --delete --links --times --chmod=D0755,F0755 --compress --compress-choice=zstd --rsh="ssh -o StrictHostKeyChecking=no" --human-readable)
+          website_dir="[email protected]:/var/www/mrdox.com"
+          demo_dir="$website_dir/demos/${{ github.ref_name }}"
+
           # Copy files: This step will copy the landing page and the documentation to www.mrdocs.com
-          chmod 755 -R $(pwd)/build/website
-          scp -o StrictHostKeyChecking=no -r $(pwd)/build/website/* [email protected]:/var/www/mrdox.com/
-          
-          # Remove previous demos associated with this tag
-          demo_dir="/var/www/mrdox.com/demos/${{ github.ref_name }}"
-          ssh -o StrictHostKeyChecking=no [email protected] "rm -rf $demo_dir/boost-url; mkdir -p $demo_dir/boost-url"
+          time rsync "${rsyncopts[@]}" --exclude=llvm+clang/ --exclude=demos/ $(pwd)/build/website/ "$website_dir"/
 
           # Copy demos: This step will copy the demos to www.mrdocs.com/demos
-          chmod 755 -R $(pwd)/demos
-          scp -o StrictHostKeyChecking=no -r $(pwd)/demos/* [email protected]:$demo_dir/
+          time rsync "${rsyncopts[@]}" $(pwd)/demos/ "$demo_dir"/
 
       - name: Create changelog
         uses: alandefreitas/cpp-actions/[email protected]

docs/website/robots.txt

@@ -0,0 +1,2 @@
+User-agent: *
+Allow: /