[website] Deploy views.sh.

diff --git a/website.git/deploy.yaml b/website.git/deploy.yaml
index fe1534002c4e64f0cb4b13bb40368fdd9fefd9ee..82758916b162cd29f020546617ab84448017f2a6 100644 (file)
--- a/website.git/deploy.yaml
+++ b/website.git/deploy.yaml
@@ -14,7 +14,14 @@
       become: true
     - name: Checkout website files to the destination directory
       command: /usr/bin/git --work-tree={{ dest }} --git-dir={{ repo }} \
-        checkout main --force index.html media
+        checkout main --force index.html media views.sh
+      become: true
+    - name: Make views.sh executable
+      file:
+        path: "{{ dest }}/views.sh"
+        mode: 0744
+        owner: www-data
+        group: www-data
       become: true
 
     - name: Install nginx