From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 20 Dec 2022 01:36:32 GMT
Subject: Re: [PATCH 1/2] Make `check-whitespace` failures more helpful
Message-ID: <xmqq5ye6zwin.fsf@gitster.g>
In-Reply-To: <CAGT1KpXDHc2bqiiPqxwBiW2UV8BKMnbKD68hKa3fHdCA5GDAzw@mail.gmail.com>

Chris Webster <chris@webstech.net> writes:

>> I suspect that we are already depend on <<< Bash-ism, so one more
>> dependency to Bash-ism is not a problem here?  I dunno.
>
> While GitHub could probably allow other shells to be used, changing
> the default would probably break a lot of things at this point.

Do we specifically ask for bash in our .github/ files?  That would
be perfectly acceptable.  Then we only have to worry about their
withdrawing support for bash which would never happen ;-)

Thanks.