From c6e95d1b22cedb7ad92f1406ab78af4923ff932f Mon Sep 17 00:00:00 2001
From: Jakub Czajka <jakub@ekhem.eu.org>
Date: Sun, 17 Dec 2023 22:28:41 +0100
Subject: [PATCH] [gym] Configure automatic deployment, describe the repository
 and make it public.

---
 gym.git/deploy.yaml          | 59 ++++++++++++++++++++++++++++++++++++
 gym.git/description          |  2 ++
 gym.git/git-daemon-export-ok |  0
 gym.git/hooks/post-receive   | 13 ++++++++
 4 files changed, 74 insertions(+)
 create mode 100644 gym.git/deploy.yaml
 create mode 100644 gym.git/description
 create mode 100644 gym.git/git-daemon-export-ok
 create mode 100755 gym.git/hooks/post-receive

diff --git a/gym.git/deploy.yaml b/gym.git/deploy.yaml
new file mode 100644
index 0000000..83a8d7d
--- /dev/null
+++ b/gym.git/deploy.yaml
@@ -0,0 +1,59 @@
+# Copyright (c) 2023 Jakub Czajka <jakub@ekhem.eu.org>
+# License: GPL-3.0 or later.
+
+- hosts: servers
+  vars:
+    dest: "{{ ansible_local.env.vars.prod_dir }}/gym"
+    repo: "{{ ansible_local.env.vars.git_home_dir }}/gym.git"
+    site: gym.conf
+  tasks:
+    - name: Create destination directory
+      file:
+        path: "{{ dest }}"
+        state: directory
+        mode: 0775
+        owner: git
+        group: www-data
+      become: true
+    - name: Checkout scripts to the destination directory
+      command: git --work-tree={{ dest }} --git-dir={{ repo }} checkout main \
+        --force *.sh
+      become: true
+    - find:
+        paths: "{{ dest }}"
+        file_type: file
+        patterns: "*.sh"
+      register: scripts
+    - name: Make gym scripts executable
+      file:
+        path: "{{ item.path }}"
+        mode: 0744
+        owner: www-data
+        group: www-data
+      become: true
+      with_items: "{{ scripts.files }}"
+
+    - name: Install fcgiwrap and nginx
+      package:
+        name:
+          - fcgiwrap
+          - nginx
+        state: latest
+      become: true
+    - name: Checkout site to /etc/nginx/sites-available
+      command: git --work-tree=/etc/nginx/sites-available --git-dir={{ repo }} \
+        checkout main --force {{ site }}
+      become: true
+    - name: Enable site in nginx
+      shell: envsubst < /etc/nginx/sites-available/{{ site }} \
+        > /etc/nginx/sites-enabled/{{ site }}
+      environment: "{{ ansible_local.env.vars }}"
+      become: true
+    - name: Restart fcgiwrap and nginx
+      service:
+        name: "{{ item }}"
+        state: restarted
+      become: true
+      with_items:
+        - fcgiwrap
+        - nginx
diff --git a/gym.git/description b/gym.git/description
new file mode 100644
index 0000000..cb40545
--- /dev/null
+++ b/gym.git/description
@@ -0,0 +1,2 @@
+HTTP interface for a database tracking gym progress.
+
diff --git a/gym.git/git-daemon-export-ok b/gym.git/git-daemon-export-ok
new file mode 100644
index 0000000..e69de29
diff --git a/gym.git/hooks/post-receive b/gym.git/hooks/post-receive
new file mode 100755
index 0000000..8226a87
--- /dev/null
+++ b/gym.git/hooks/post-receive
@@ -0,0 +1,13 @@
+#!/bin/sh
+# Copyright (c) 2023 Jakub Czajka <jakub@ekhem.eu.org>
+# License: GPL-3.0 or later.
+
+while read old_revision new_revision branch
+do
+    if [ "${branch}" != "refs/heads/main" ]
+    then
+        echo "${branch} is not the main branch so not deploying."
+        exit 0
+    fi
+    sudo ansible-playbook --connection=local deploy.yaml
+done
-- 
2.39.5