Merge pull request #33597 from keszybz/fetch-distro
authorLuca Boccassi <bluca@debian.org>
Mon, 22 Jul 2024 10:46:43 +0000 (11:46 +0100)
committerGitHub <noreply@github.com>
Mon, 22 Jul 2024 10:46:43 +0000 (11:46 +0100)
commit9547b25ce8bfb6c71e29481ad41bc904a6d38f68
tree29b03e94028b7ac2f144d363fec544b326c45069
parent8af38e5b0475f514141d314088dcf9fffd7edc37
parent1c85d56349da7943967377e45da595e32887e0a2
Merge pull request #33597 from keszybz/fetch-distro

Extend the distro fetching script to check the repository out