diff --git a/Jenkinsfile b/Jenkinsfile index 4248374..9226b61 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -97,8 +97,10 @@ pipeline { http://git.entcor/api/v1/repos/deployer3000/${env.IMAGE_NAME}/pulls/${prId}/merge """ echo "PR ${prId} merged successfully into main!" + sleep(time: 5, unit: 'SECONDS') def commitHash = sh(script: "git rev-parse HEAD~1", returnStdout: true).trim() - def prCommitHash = sh(script: "git rev-parse HEAD", returnStdout: true).trim() + def prCommitHash = sh(script: "git rev-parse HEAD", returnStdout: true).trim() + sh """ curl -v -X POST -u "${GITEA_USER}:${GITEA_PASS}" \ -H "Content-Type: application/json" \