From: Junio C Hamano <gitster@pobox.com>
Date: Sun, 21 Nov 2021 07:21:47 GMT
Subject: Re: [PATCH v3 4/5] CI: use "$runs_on_pool", not "$jobname" to select packages & config
Message-ID: <xmqq1r3anfck.fsf@gitster.g>
In-Reply-To: <patch-v3-4.5-54913e775c1-20211120T115414Z-avarab@gmail.com>

Ævar Arnfjörð Bjarmason  <avarab@gmail.com> writes:

> -case "$jobname" in
> -linux-clang|linux-gcc|linux-leaks)
> +case "$runs_on_pool" in
> +ubuntu-latest)
>  	sudo apt-get -q update
> ...
>  	;;
> -osx-clang|osx-gcc)
> +macos-latest)
>  	export HOMEBREW_NO_AUTO_UPDATE=1 HOMEBREW_NO_INSTALL_CLEANUP=1

Indeed this is nice improvement in maintainability.