diff --git a/bin/gh_pr_bootstrap.sh b/bin/gh_pr_bootstrap.sh
index 42f0933..679c938 100644
--- a/bin/gh_pr_bootstrap.sh
+++ b/bin/gh_pr_bootstrap.sh
@@ -8,7 +8,7 @@ DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
 export JENKINS_TESTS_DIR="$DIR/github/jenkins_tests"
 export CLANGTOOLS_UTIL_DIR="$DIR/../clangtools_utilities"
 export TESTSCRIPT_DIR="$JENKINS_TESTS_DIR/$1"
-export REQUIRED_BUILD_REPOS_SHORT=("Offline" "Production")
+export REQUIRED_BUILD_REPOS_SHORT=("Offline" "Production" "mu2e_trig_config")
 export GH_COMMON_SCRIPT="$DIR/github/github_common.sh"
 
 # if the PR is trying to merge into this branch, make sure all other repos