From 2fee57bd44d9c26d7d1dbcb432e03bc3601c9982 Mon Sep 17 00:00:00 2001
From: harine <harinesumen@gmail.com>
Date: Fri, 18 Sep 2026 00:33:44 +0800
Subject: [PATCH] Auto-deploy website on push to master

Adds a Jenkinsfile stage that copies website/index.html to the live
nginx docroot whenever a change touches website/, so teammates can
edit the site (via Gitea web UI or a normal PR) without needing VM
access -- merge to master and it's live within one poll cycle (~5 min).

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
---
 Jenkinsfile | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 5fed205..788c862 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -43,6 +43,18 @@ pipeline {
                 sh './gradlew testDebugUnitTest --no-daemon --stacktrace'
             }
         }
+
+        stage('Deploy website') {
+            // Only runs when a push actually touches website/, so unrelated
+            // app commits don't trigger a redeploy. Just a plain file copy --
+            // nginx serves the file straight off disk, no reload needed.
+            when {
+                changeset 'website/**'
+            }
+            steps {
+                sh 'cp website/index.html /var/www/pinpoint-site/index.html'
+            }
+        }
     }
 
     post {