From ce5929b900c76b11aeae11978d99eaa7f74b6ad9 Mon Sep 17 00:00:00 2001
From: Phillip Johnsen <johphi@gmail.com>
Date: Fri, 14 Apr 2017 22:08:14 +0200
Subject: [PATCH] github-bot: add Jenkins $ENVs to kick off builds for CITGM

Refs https://github.com/nodejs/github-bot/pull/128
---
 setup/github-bot/resources/environment-file | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/setup/github-bot/resources/environment-file b/setup/github-bot/resources/environment-file
index 2efc50629..3e49f722c 100644
--- a/setup/github-bot/resources/environment-file
+++ b/setup/github-bot/resources/environment-file
@@ -6,3 +6,6 @@ GITHUB_WEBHOOK_SECRET={{envs.github_webhook_secret}}
 LOGIN_CREDENTIALS={{envs.login_credentials}}
 NODE_REPO_DIR=/home/{{server_user}}/repos/node
 LOGS_DIR=/home/{{server_user}}/logs
+JENKINS_API_CREDENTIALS={{envs.jenkins_api_credentials}}
+JENKINS_JOB_URL_CITGM={{envs.jenkins_job_url_citgm}}
+JENKINS_BUILD_TOKEN_CITGM={{envs.jenkins_build_token_citgm}}