From f89f9c98e27d9653de018e7db35e38e0172f21f0 Mon Sep 17 00:00:00 2001
From: Peter van Dijk <peter.van.dijk@powerdns.com>
Date: Wed, 12 Feb 2020 21:22:33 +0100
Subject: [PATCH] backport of #8737: avoid 'git show -s' from starting a pager
 in CircleCI

---
 .circleci/config.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index eef1d2f5c4..87639ca9ab 100644
--- 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
-- 
2.47.2