Use GitHub as git repository when possible
Else the github hook does not match the job from the github notification.
Fixes #106.
Change-Id: I7229bdce6def49451a15470a45261b8b6ee97d7f
diff --git a/jenkins/build_defs/jenkins_job.bzl b/jenkins/build_defs/jenkins_job.bzl
index e5a1ade..5735b27 100644
--- a/jenkins/build_defs/jenkins_job.bzl
+++ b/jenkins/build_defs/jenkins_job.bzl
@@ -146,6 +146,10 @@
test_files = [name + "-test.xml"]
staging_files = [name + "-staging.xml"]
+ kwargs = {}
+ if not github_enabled:
+ kwargs["git_url"] = git_url
+
jenkins_job(
name = name,
config = "//jenkins/build_defs:bazel-job.xml.tpl",
@@ -153,12 +157,12 @@
"JSON_CONFIGURATION": config,
},
substitutions=substitutions,
- git_url=git_url,
project=project,
org=org,
project_url=project_url,
- test_platforms = test_platforms,
- create_filegroups=False)
+ test_platforms=test_platforms,
+ create_filegroups=False,
+ **kwargs)
if enabled and config:
jenkins_job(