commit 19bbd42902697894192b43f90bdee649a539b16a
author David Jencks <djencks@apache.org> Tue Apr 27 17:33:27 2021 -0700
committer David Jencks <djencks@apache.org> Tue Apr 27 17:33:27 2021 -0700
tree 467204da36ee265e2e87f98d6c3a59333f763e20
parent 9f692701412606ddec2e9562b3c706346c996d35

try gitbox

Jenkinsfile

diff --git a/Jenkinsfile b/Jenkinsfile
index fecdc3b..485bc80 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -14,7 +14,7 @@
             steps {
                 sh 'rm -rf build'
 // clone the aries-site-pub repo
-                sh 'git clone --depth 1 https://github.com/apache/aries-site-pub.git build/site'
+                sh 'git clone --depth 1 https://gitbox.apache.org/repos/asf/aries-site-pub.git build/site'
                 dir('build/site') {
                     sh 'git rm -r .'
                 }
@@ -25,7 +25,7 @@
                 dir('build/site') {
 		  sh 'git add .'
 		  sh 'echo `git commit -m "site build"`'
-                  sh 'git push https://github.com/apache/aries-site-pub.git master'
+                  sh 'git push https://gitbox.apache.org/repos/asf/aries-site-pub.git master'
 		}
             }
         }