[JIRA] [core] (JENKINS-31844) Github push command doesn't get executed by Jenkins

[karthik.duraira...@gmail.com (JIRA)]

Title: Message Title

Karthik Durairajan commented on JENKINS-31844   Re: Github push command doesn't get executed by Jenkins Hi Mark, I agree with your statement. That's my bad and may be it's a Jenkins issue. Below is the actual batch script that it executes: @ECHO ON CALL git --version cd "%WORKSPACE%\..\..\..\" IF NOT EXIST ..\Jenkins\NUL exit 1 IF NOT EXIST .\jenkins.war exit 1 FOR /F "tokens=*" %%N IN ('git rev-parse --show-toplevel') DO SET git_repo_path=%%N SET git_repo_path=%git_repo_path:/=\% IF NOT "%git_repo_path%" EQU "%CD%" exit 1 SET badfile=".git\*.lock" IF EXIST %badfile% del /S /F %badfile% CALL git add -Av . SET /A staged_changes=0 FOR /F "tokens=*" %%N IN ('git status --porcelain') DO SET /A staged_changes=staged_changes+1 IF %staged_changes% EQU 0 exit 0 CALL git commit --author=svc_snet_deploy_stg --quiet --untracked-files=no --message=jenkins_scheduled_backup CALL git whatchanged --no-abbrev -M --pretty=raw HEAD~1..HEAD>"%WORKSPACE%\..\builds\%BUILD_ID%\changelog.xml" CALL git push origin master SET tag=jenkins_"%BUILD_NUMBER%"_"%BUILD_ID%" CALL git tag %tag% CALL git push origin tag %tag% Add Comment   This message was sent by Atlassian JIRA (v6.4.2#64017-sha1:e244265) -- You received this message because you are subscribed to the Google Groups "Jenkins Issues" group. To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-issues+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.