On 11/02/2012 05:19 PM, Felipe Contreras wrote: > > [SNIP] > > 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 > update. > 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). Thanks, Stefano -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html