Merge branch 'master' into release/v5.1

tools/config.sh

@@ -108,7 +108,7 @@ function github_get_libs_idf(){ # github_get_libs_idf <repo-path> <branch-name>
     local libs_version=""
 
     while [ "$libs_version" == "" ]; do
-        version_found=`curl -s -k -H "Authorization: token $GITHUB_TOKEN" -H "Accept: application/vnd.github.v3.raw+json" "https://api.github.com/repos/$repo_path/commits?sha=$branch_name&per_page=100&page=$page" | jq -r '.[].commit.message' | grep -m 1 "$message_prefix" | cut -d' ' -f3`
+        version_found=`curl -s -k -H "Authorization: token $GITHUB_TOKEN" -H "Accept: application/vnd.github.v3.raw+json" "https://api.github.com/repos/$repo_path/commits?sha=$branch_name&per_page=100&page=$page" | jq -r '.[].commit.message' | grep "$message_prefix" | cut -d' ' -f3`
         if [ ! "$version_found" == "" ] && [ ! "$version_found" == "null" ]; then
             libs_version=$version_found
         else