Make bors app ID distinct for each env

Author: Mark-Simulacrum

terragrunt/accounts/bors-prod/app/terragrunt.hcl

@@ -9,4 +9,5 @@ include {
 
 inputs = {
   domain = "bors-prod.rust-lang.net"
+  gh_app_id = "278306"
 }

terragrunt/accounts/bors-staging/app/terragrunt.hcl

@@ -9,4 +9,5 @@ include {
 
 inputs = {
   domain = "bors-staging.rust-lang.net"
+  gh_app_id = "343095"
 }

terragrunt/modules/bors/main.tf

@@ -272,7 +272,7 @@ resource "aws_ecs_task_definition" "bors" {
       environment = [
         {
           name  = "APP_ID"
-          value = "343095"
+          value = "${var.gh_app_id}"
         },
         {
           name  = "RUST_LOG"
@@ -494,3 +494,7 @@ resource "aws_vpc_security_group_egress_rule" "rds_egress_anywhere_v6" {
 variable "domain" {
   description = "domain to use"
 }
+
+variable "gh_app_id" {
+  description = "GitHub App ID"
+}