From d9aefc4e9ba117970967ebe6dfd77feec745ca9e Mon Sep 17 00:00:00 2001
From: Filippo Cremonese <filippocremonese@rev.ng>
Date: Thu, 15 Oct 2020 15:32:05 +0200
Subject: [PATCH] Quiet pushd/popd

---
 .orchestra/support/extract.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.orchestra/support/extract.sh b/.orchestra/support/extract.sh
index efcda27..aa099c1 100755
--- a/.orchestra/support/extract.sh
+++ b/.orchestra/support/extract.sh
@@ -53,6 +53,6 @@ else
 fi
 
 mkdir -p "$INTO"
-pushd "$INTO"
+pushd "$INTO" > /dev/null
 tar --extract --file "${SRC_ARCHIVE_DIR}/${ARCHIVE_FILENAME}" --strip-components=1
-popd
+popd > /dev/null
-- 
GitLab