From 15aaf9dd0d2e37b21fb402f66d7d85f9370ccdfb Mon Sep 17 00:00:00 2001
From: Alejandro R Mosteo <amosteo@unizar.es>
Date: Mon, 7 Mar 2022 12:01:24 +0100
Subject: [PATCH] Retrieve sources with quiet to reduce git output (#471)

---
 scripts/gh-build-crate.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/gh-build-crate.sh b/scripts/gh-build-crate.sh
index 96f2df5f..f0fdd440 100755
--- a/scripts/gh-build-crate.sh
+++ b/scripts/gh-build-crate.sh
@@ -154,7 +154,7 @@ for file in $CHANGES; do
       echo SKIPPING BUILD for SYSTEM crate, FETCHING only
    fi
 
-   alr -d get $milestone
+   alr -d -q get $milestone
 
    if $is_system; then
       echo DETECTING INSTALLED PACKAGE via crate $milestone