Use different token for metal3-io metal3-dev-env github project

Based on a request from the maintainers, using the metal3-jenkins
user

Change-Id: I9f4d60a46ebfbddf68c721de13a7ca5f5a9f395f

diff --git a/jjb/airship/projects.yml b/jjb/airship/projects.yml
index 409fc7d6eac702f40b426738bac1eb88d6ca2b38..7e0e11b95b2537ae901efa17c90a0ee1b58bd907 100644 (file)
--- a/jjb/airship/projects.yml
+++ b/jjb/airship/projects.yml
@@ -105,6 +105,7 @@
     repo:
       org: "metal3-io"
       name: "metal3-dev-env"
+    ci_github_jenkins_credentials_id: 'metal3_jenkins_github_token'
 
 - project:
     name: "metal3io_capi_bm"