From 3f7955bda016e5edfc54ae5a5d6a181a12dee6d7 Mon Sep 17 00:00:00 2001
From: Tom Willemse <tom@ryuslash.org>
Date: Sat, 3 Jul 2021 01:44:47 -0700
Subject: [PATCH] Fixup folder ownership for Jenkins

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 9117a61..e1e0eb9 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 "%g" .) public'
+                        sh 'chown -R $(stat -c "%u" .):$(stat -c "%g" .) .cask .org-timestamps public'
                         stash includes: 'public/**', name: 'public_html'
                     }
                 }