Change: [Jenkinsfile] Set a git user.email and user.name before rebase (#6728)

Rebase demands both are set, otherwise it refuses to work
This commit is contained in:
Patric Stout 2018-04-15 22:22:32 +02:00 committed by GitHub
parent 079f774fd7
commit ce6761a6de
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

4
Jenkinsfile vendored
View File

@ -49,6 +49,10 @@ node {
stage("Checkout") {
checkout scm
// Ensure user.email and user.name is set, otherwise rebase cannot work
sh "git config user.email 'info@openttd.org'"
sh "git config user.name 'OpenTTD CI'"
// Ensure we also have origin/master available
sh "git fetch --no-tags origin master:refs/remotes/origin/master"