Fixup folder ownership for Jenkins

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'
                     }
                 }