really commit and push

jetty-project · Sep 6, 2024 · 140cc86 · 140cc86
1 parent dd1670a
commit 140cc86
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -82,12 +82,12 @@ pipeline {
                     cp -r $JAVADOC_LOCAL_PATH/* $JAVADOC_PATH/
                     rm -rf javadoc
                     git status
-                    #git add -A $JAVADOC_PATH/
-                    #git commit -a"update javadoc for $JETTY_TAG in path $JAVADOC_PATH"
+                    git add -A $JAVADOC_PATH/
+                    git commit -a"update javadoc for $JETTY_TAG in path $JAVADOC_PATH"
 
                 
                     git config --local credential.helper "!f() { echo username=\\$GIT_AUTH_USR; echo password=\\$GIT_AUTH_PSW; }; f"
-                    #git push origin main
+                    git push origin main
                 ''')
 
                 publishHTML (target : [allowMissing: false,