Re: [PATCH 1/2] Make `check-whitespace` failures more helpful
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Dec 20, 2022, 01:36 UTC
- Message-ID
- <xmqq5ye6zwin.fsf@gitster.g>
- In-Reply-To
- <CAGT1KpXDHc2bqiiPqxwBiW2UV8BKMnbKD68hKa3fHdCA5GDAzw@mail.gmail.com>
Chris Webster <chris@webstech.net> writes:
Show 5 quoted lines
>> 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.