Merge branch 'develop' into layer/mobility_hub

.forgejo/pull_request_template.md

@@ -13,5 +13,5 @@ To making merging smooth, please make sure that each of the following conditions
 
 - [ ] The codebase is GPL-licensed. By opening a pull request, the new theme will be GPL too
 - [ ] All images are included in the pull request and no images are loaded from an external service (e.g. Wikipedia)
-- [ ] The [guidelines on how to make your own theme](https://github.com/pietervdvn/MapComplete/blob/master/Docs/Making_Your_Own_Theme.md)
+- [ ] The [guidelines on how to make your own theme](https://source.mapcomplete.org/MapComplete/MapComplete/src/branch/master/Docs/Making_Your_Own_Theme.md)
   are read and followed

.forgejo/workflows/daily_data_maintenance.yml

@@ -1,4 +1,5 @@
 on:
+  workflow_dispatch:
   schedule:
     - cron: "0 2 * * *"
 

.forgejo/workflows/deploy_hosted.yml

@@ -53,6 +53,7 @@ jobs:
       - name: Zipping dist file
         run: |
           BRANCH=$(echo ${{ github.ref_name }} | sed 's/\//-/g')
+          rm -rf /tmp/${BRANCH}
           mv dist /tmp/${BRANCH}
           cd /tmp
           zip ${BRANCH}.zip -r ${BRANCH}/*
@@ -71,7 +72,7 @@ jobs:
       - name: unzipping remote file
         run: |
           BRANCH=$(echo ${{ github.ref_name }} | sed 's/\//-/g')
-          ssh hetzner "cd /root/staging && rm -rf ${BRANCH} && unzip ${BRANCH}.zip && rm -rf /root/public/${BRANCH} && mv /root/staging/${BRANCH}/ /root/public/ && rm ${BRANCH}.zip"
+          ssh hetzner "cd /root/staging && rm -rf ${BRANCH} && unzip ${BRANCH}.zip && rm -rf /root/public/${BRANCH} && mv /root/staging/${BRANCH}/ /root/public/ && date --iso > /root/public/${BRANCH}/date.txt && rm ${BRANCH}.zip"
 
       - name: Comment on the PR
         run: |