Between the two evils of hardcoding a shell name on the Git SCM and deprecating (or enlarging) the shell API, we prefer the former.
Between the two evils of hardcoding a shell name on the Git SCM and deprecating (or enlarging) the shell API, we prefer the former.