Merge pull request #114 from rlcee/gh_240201

add new trig repo as default part of all CI builds

Author: rlcee

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