[colobot] 07/62: Jenkinsfile: prevent PRs to master
Didier Raboud
odyx at moszumanska.debian.org
Fri Nov 10 11:53:54 UTC 2017
This is an automated email from the git hooks/post-receive script.
odyx pushed a commit to branch debian/master
in repository colobot.
commit 92a8140b778675a769440dc206b11b8012734bff
Author: krzys-h <krzys_h at interia.pl>
Date: Mon May 29 21:09:50 2017 +0200
Jenkinsfile: prevent PRs to master
I just merged a PR to master by mistake. Whoops! Let's not let that happen again.
---
Jenkinsfile | 4 ++++
data | 2 +-
2 files changed, 5 insertions(+), 1 deletion(-)
diff --git a/Jenkinsfile b/Jenkinsfile
index 2d1b76c..6058618 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -5,6 +5,10 @@ if (env.BRANCH_NAME.startsWith('PR-')) {
properties([[$class: 'BuildDiscarderProperty', strategy: [$class: 'LogRotator', artifactDaysToKeepStr: '30', artifactNumToKeepStr: '20']]])
}
+if (env.CHANGE_TARGET == 'master') {
+ error("This pull request targets the wrong branch. Please reopen the pull request targetting the dev branch.")
+}
+
node('master') {
stage('Pull changes') {
checkout scm
diff --git a/data b/data
index 3cf809d..f4c4364 160000
--- a/data
+++ b/data
@@ -1 +1 @@
-Subproject commit 3cf809d6a36d3834a97c8cede250b15ec4473539
+Subproject commit f4c4364f00afe2a754204dec387cd80124b15c3a
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-games/colobot.git
More information about the Pkg-games-commits
mailing list