Commit 81da2208 authored by Patrik Dufresne's avatar Patrik Dufresne

Merge remote-tracking branch 'origin/master'

parents 3ab63e5a 50f0694e
Pipeline #302 passed with stage
in 1 minute and 4 seconds
pipeline {
environment {
GITHUB = credentials("github")
agent any
stages {
stage('GitHubPush') {
steps {
sh "git push --force https://${GITHUB} refs/remotes/origin/${BRANCH_NAME}:refs/heads/${BRANCH_NAME}"
sh "git push https://${GITHUB} --tags"
This diff is collapsed.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment