Merge pull request 'ili da?' (#27) from rc into main
commit
6e8e590ec9
|
|
@ -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()
|
||||
|
||||
sh """
|
||||
curl -v -X POST -u "${GITEA_USER}:${GITEA_PASS}" \
|
||||
-H "Content-Type: application/json" \
|
||||
|
|
|
|||
Loading…
Reference in New Issue