On 11/02/2012 05:19 PM, Felipe Contreras wrote:
> As things are the options are:
> 1) Remove this code and move to POSIX sh. People looking for reference
> might scratch their heads as to why 'git push' is not showing the
> 2) Keep this code and remain in bash.
> Until we have a:
> 3) Replace this code with a clean POSIX sh alternative
> I would rather vote for 2)
That's perfectly fine with me, now that you've explained the rationale
for requiring bash in the first place (maybe adding a comment to the
script or the commit messages that reports this rationale for choosing
to require bash might be worthwhile; but it's no big deal anyway).
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html