tools/fetch-distro: only fetch the configured branch
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Wed, 3 Jul 2024 14:10:49 +0000 (16:10 +0200)
committerDaan De Meyer <daan.j.demeyer@gmail.com>
Wed, 24 Jul 2024 12:26:49 +0000 (14:26 +0200)
commit8334be48a35b19eb4b42defaf9db81c62d5ce4cd
treeefd9e8dfa7b06800898519a0aa292a4f4b42e4ec
parent92890d56e8e9f5290a1012e35e3b97d4d8db57ba
tools/fetch-distro: only fetch the configured branch

We don't need the other branches. This mostly cuts down on the
noise in output. But add '-v' to show what we're fetching.

(cherry picked from commit 8e84e154457b0d55e823f670c377233b0211d2b7)
tools/fetch-distro.py