ci: add prod pipeline

.github/workflows/pipeline.yml

@@ -16,9 +16,9 @@ jobs:
           port: ${{ secrets.PORT }}
           script: |
             cd /home/ubuntu/clones
-            cd chronofactorem-rewrite
+            cd chronofactorem-rewrite-staging
             git reset --hard HEAD
             git pull
             docker compose --profile ingestion down
             docker compose --profile prod down
-            docker compose --profile prod up --build -d
+            docker compose --profile prod up --build -d

.github/workflows/release.yml

@@ -0,0 +1,27 @@
+name: Host a new release of the API
+
+on:
+  release:
+    types:
+      - published
+
+jobs:
+  release:
+    name: Build and deploy to prod
+    runs-on: ubuntu-latest
+    steps:
+      - name: ssh into machine, and clone repo
+        uses: appleboy/[email protected]
+        with:
+          host: ${{ secrets.HOST }}
+          username: ${{ secrets.USERNAME }}
+          key: ${{ secrets.KEY }}
+          port: ${{ secrets.PORT }}
+          script: |
+            cd /home/ubuntu/clones
+            cd chronofactorem-rewrite-prod
+            git reset --hard HEAD
+            git pull
+            docker compose --profile ingestion down
+            docker compose --profile prod down
+            docker compose --profile prod up --build -d