From 046e39ec81b9642c420d6fb2846633448d808b4a Mon Sep 17 00:00:00 2001
From: tv <tv@krebsco.de>
Date: Thu, 10 Aug 2017 13:29:14 +0200
Subject: git: clone and fetch verbosely

---
 lib/populate.jq | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/populate.jq b/lib/populate.jq
index 911e956..0cc5e7f 100644
--- a/lib/populate.jq
+++ b/lib/populate.jq
@@ -50,7 +50,7 @@ def git_script:
   @sh "  src_ref=$3",
 
   @sh "  if ! test -e \"$dst_dir\"; then",
-  @sh "    git clone \"$src_url\" \"$dst_dir\"",
+  @sh "    git clone -v \"$src_url\" \"$dst_dir\"",
   @sh "  fi",
 
   @sh "  cd \"$dst_dir\"",
@@ -65,7 +65,7 @@ def git_script:
   @sh "  hash=$src_ref",
 
   @sh "  if ! test \"$(git log --format=%H -1)\" = \"$hash\"; then",
-  @sh "    git fetch origin",
+  @sh "    git fetch -v origin",
   @sh "    git checkout \"$hash\" -- \"$dst_dir\"",
   @sh "    git checkout -f \"$hash\"",
   @sh "  fi",
-- 
cgit v1.2.3