From 339103c4fed9718c23b9956c671294c032e62459 Mon Sep 17 00:00:00 2001
From: Tom Willemse
Date: Sun, 22 Nov 2020 15:42:33 -0800
Subject: Use the proper group when changing ownership

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index b78a819..9117a61 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -22,7 +22,7 @@ pipeline {
                         // Because we're running in root, the public/ directory
                         // isn't owned by the Jenkins user, meaning that
                         // unstashing in a different stage fails.
-                        sh 'chown -R $(stat -c "%u" .):$(stat -c "%u" .) public'
+                        sh 'chown -R $(stat -c "%u" .):$(stat -c "%g" .) public'
                         stash includes: 'public/**', name: 'public_html'
                     }
                 }
-- 
cgit v1.2.3-54-g00ecf