GHA: Check src_ext/update-sources.sh using shellcheck

Author: kit-ty-kate

.github/scripts/main/hygiene.sh

@@ -141,6 +141,12 @@ else
   (set +x; echo -e ".github/scripts/depexts/generate-actions.sh: \e[31mERROR\e[0m") 2>/dev/null
   ERROR=1
 fi
+if shellcheck src_ext/update-sources.sh ; then
+  (set +x; echo "src_ext/update-sources.sh: OK") 2>/dev/null
+else
+  (set +x; echo -e "src_ext/update-sources.sh: \e[31mERROR\e[0m") 2>/dev/null
+  ERROR=1
+fi
 (set +x ; echo -en "::endgroup::check shell scripts using shellcheck\r") 2>/dev/null
 
 exit $ERROR

master_changes.md

@@ -147,6 +147,7 @@ users)
   * Fix duplication logic in revdeps script [#6666 @arozovyk]
   * Remove patch dependency in depext actions [#6676 @rjbou]
   * Bump opam binary used in depexts actions to 2.4.1 [#6676 @rjbou]
+  * Check `src_ext/update-sources.sh` using shellcheck [#6701 @kit-ty-kate]
 
 ## Doc
   * Update the installation documentation with the release of opam 2.4.1 [#6620 @kit-ty-kate]