From 3961c3e483e1ffead6d5363e5d8d9235c3206e57 Mon Sep 17 00:00:00 2001
From: Alan Orth <alan.orth@gmail.com>
Date: Tue, 14 Dec 2021 15:14:37 +0200
Subject: [PATCH] .github/workflows/pages.yml: try to git pull

We should git pull before we update the site.
---
 .github/workflows/pages.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
index 17882433..1bd613e0 100644
--- a/.github/workflows/pages.yml
+++ b/.github/workflows/pages.yml
@@ -43,7 +43,11 @@ jobs:
     # We need the parse job above. Do not run if that one fails.
     needs: parse
     steps:
-      - uses: actions/checkout@v2
+      - name: Checkout
+        uses: actions/checkout@v2
+      - name: Git pull
+        run: git pull
+
       - name: Deploy
         uses: peaceiris/actions-gh-pages@v3
         with: