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 <[email protected]> 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 _______________________________________________ Pkg-games-commits mailing list [email protected] http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-games-commits
