fix sh batch

Signed-off-by: Olivier Lamy <[email protected]>
jetty-project · Jun 25, 2024 · 0a997c2 · 0a997c2
1 parent a410faa
commit 0a997c2
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
                 ''')
             }
         }