diff --git a/.github/workflows/submodule-pin-check.sh b/.github/workflows/submodule-pin-check.sh index a9dc7dc135..d433950965 100755 --- a/.github/workflows/submodule-pin-check.sh +++ b/.github/workflows/submodule-pin-check.sh @@ -15,7 +15,7 @@ for mod in `git submodule --quiet foreach 'echo $name'`; do if ! git -C $mod merge-base --is-ancestor HEAD $branch; then echo $mod diverges from $branch - git -C $mod branch -a + git --no-pager -C $mod branch -a divergent=1 fi done