Alan Orth 3961c3e483 .github/workflows/pages.yml: try to git pull ... We should git pull before we update the site.		2021-12-14 15:14:37 +02:00
..
workflows	.github/workflows/pages.yml: try to git pull	2021-12-14 15:14:37 +02:00