backport of #8737: avoid 'git show -s' from starting a pager in CircleCI

diff --git a/.circleci/config.yml b/.circleci/config.yml
index eef1d2f5c4ec030252fbe6390d4df6c8b80fab58..87639ca9aba558eee12d9b5b77b220f6272e97f4 100644 (file)
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -24,7 +24,7 @@ commands:
               echo === Checking out branch "${CIRCLE_BRANCH}" from "$CIRCLE_REPOSITORY_URL"
               git clone --depth 1 --branch $CIRCLE_BRANCH $CIRCLE_REPOSITORY_URL ~/project
             fi
-            git show -s
+            git --no-pager show -s
 
   install-coverity-tools:
     description: Install the coverity tools to /usr/local