File tree Expand file tree Collapse file tree 1 file changed +11
-14
lines changed
Expand file tree Collapse file tree 1 file changed +11
-14
lines changed Original file line number Diff line number Diff line change @@ -69,20 +69,17 @@ runs:
6969 echo "Official ($OFFICIAL_BRANCH): $OFFICIAL_SHA"
7070
7171 if [[ "$RECORDED_SHA" != "$OFFICIAL_SHA" ]]; then
72- cat <<'MSG'
73- ERROR : Submodule is not on latest official main.
74-
75- To fix locally :
76- git submodule update --init --remote -- "${SUB_PATH}"
77- # or explicitly:
78- cd "${SUB_PATH}"
79- git fetch origin "${OFFICIAL_BRANCH}"
80- git checkout --detach "origin/${OFFICIAL_BRANCH}"
81- cd -
82- git add "${SUB_PATH}"
83- git commit -m "Bump ${SUB_PATH} to latest ${OFFICIAL_BRANCH}"
84-
85- MSG
72+ echo "ERROR: Submodule is not on latest official main."
73+ echo
74+ echo "To fix locally:"
75+ echo " git submodule update --init --remote -- \"${SUB_PATH}\""
76+ echo " # or explicitly:"
77+ echo " cd \"${SUB_PATH}\""
78+ echo " git fetch origin \"${OFFICIAL_BRANCH}\""
79+ echo " git checkout --detach \"origin/${OFFICIAL_BRANCH}\""
80+ echo " cd -"
81+ echo " git add \"${SUB_PATH}\""
82+ echo " git commit -m \"Bump ${SUB_PATH} to latest ${OFFICIAL_BRANCH}\""
8683 exit 1
8784 fi
8885
You can’t perform that action at this time.
0 commit comments