chore(ci): Replace GitLab token with GitHub one

Edoardo Rossi · Edoardo Rossi · commit 8885975cb4c2 · 2021-01-20T16:42:15.000+01:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -22,6 +22,8 @@ pipeline {
         //
         // https://github.com/hashicorp/terraform/issues/21408#issuecomment-495746582
         AWS_DEFAULT_REGION = 'us-east-2'
+
+        GITHUB_TOKEN = credentials('scribdbot-github-token')
     }
 
     stages {

Original file line number	Diff line number	Diff line change
`@@ -22,6 +22,8 @@ pipeline {`
`22`	`22`	`//`
`23`	`23`	`// https://github.com/hashicorp/terraform/issues/21408#issuecomment-495746582`
`24`	`24`	`AWS_DEFAULT_REGION = 'us-east-2'`
	`25`	`+`
	`26`	`+ GITHUB_TOKEN = credentials('scribdbot-github-token')`
`25`	`27`	`}`
`26`	`28`
`27`	`29`	`stages {`