On Mon, Dec 19, 2022 at 5:36 PM Junio C Hamano <gitster@xxxxxxxxx> wrote: > 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 ;-) We use the default but the default can be changed https://docs.github.com/en/actions/using-jobs/setting-default-values-for-jobs. IOW we can always use bash if the default changes. ...chris.
