Turn off paging on branch command

OffchainLabs · Jul 9, 2024 · a727312 · a727312
1 parent 36b16d1
commit a727312
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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