diff --git a/Jenkinsfile b/Jenkinsfile deleted file mode 100644 index 274673ff428c71020283aeb208ed313afeb54822..0000000000000000000000000000000000000000 --- a/Jenkinsfile +++ /dev/null @@ -1,14 +0,0 @@ -pipeline { - environment { - GITHUB = credentials("github") - } - agent any - stages { - stage('GitHubPush') { - steps { - sh "git push --force https://${GITHUB}@github.com/ikus060/nagios-plugins.git refs/remotes/origin/${BRANCH_NAME}:refs/heads/${BRANCH_NAME}" - sh "git push https://${GITHUB}@github.com/ikus060/nagios-plugins.git --tags" - } - } - } -}