commit ca22c9aca785890e0f83916386e9f3e92726e422
author David Jencks <djencks@apache.org> Tue Apr 27 16:43:18 2021 -0700
committer David Jencks <djencks@apache.org> Tue Apr 27 16:43:18 2021 -0700
tree 0e646b6db2eeb60890ac57f0662e522a0ea46183
parent 1dc4c9b97c489a882414038ca59113b30d989191

try websites agent, do they have cross-repo push credentials?

Jenkinsfile

diff --git a/Jenkinsfile b/Jenkinsfile
index 00f293f..4e0716a 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,12 +1,12 @@
 pipeline {
 //    agent { docker { image 'node:14-alpine' } }
-    agent any
+    agent { label: 'websites' }
 
     stages {
         stage('build') {
-            environment {
-                ARIES_SITE_CREDS = credentials('aries-site-pub-PAT')
-            }
+//            environment {
+//                ARIES_SITE_CREDS = credentials('aries-site-pub-PAT')
+//            }
             steps {
                 sh 'rm -rf build'
 // clone the aries-site-pub repo
@@ -21,7 +21,7 @@
                 dir('build/site') {
 		  sh 'git add .'
 		  sh 'echo `git commit -m "site build"`'
-                  sh 'git push https://$ARIES_SITE_CREDS_USR:$ARIES_SITE_CREDS_PSW@github.com/apache/aries-site-pub.git master'
+                  sh 'git push https://github.com/apache/aries-site-pub.git master'
 		}
             }
         }