Merge pull request #9897 from keymanapp/chore/ci-pull-requests

chore: include ci/pull-requests.inc.sh for help uploads
keymanapp · Oct 30, 2023 · d71686b · d71686b
2 parents 1180849 + 0448fbd
commit d71686b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/resources/build/help-keyman-com.sh b/resources/build/help-keyman-com.sh
@@ -5,6 +5,8 @@ THIS_SCRIPT="$(readlink -f "${BASH_SOURCE[0]}")"
 . "${THIS_SCRIPT%/*}/../../resources/build/build-utils.sh"
 ## END STANDARD BUILD SCRIPT INCLUDE
 
+. "$KEYMAN_ROOT/resources/build/ci/pull-requests.inc.sh"
+
 #
 # Allows us to check for existence of subfolders in help/
 #