diff options
| author | lassulus <lassulus@lassul.us> | 2017-09-07 22:26:58 +0200 |
|---|---|---|
| committer | lassulus <lassulus@lassul.us> | 2017-09-07 22:26:58 +0200 |
| commit | f72676274ea48b9498ca2b5b1b9e5a0890a8ce2a (patch) | |
| tree | 52c664a792863f0718253632d5602b5246cab35d /lib/populate.jq | |
| parent | 2c5458d7144d7333f8c0571201630054468eb429 (diff) | |
Revert "git: clone and fetch verbosely"
This reverts commit 046e39ec81b9642c420d6fb2846633448d808b4a.
Diffstat (limited to 'lib/populate.jq')
| -rw-r--r-- | lib/populate.jq | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/populate.jq b/lib/populate.jq index b0615e0..4d77800 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 -v \"$src_url\" \"$dst_dir\"", + @sh " git clone \"$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 -v origin", + @sh " git fetch origin", @sh " git checkout \"$hash\" -- \"$dst_dir\"", @sh " git checkout -f \"$hash\"", @sh " fi", |