On Fri, Nov 02, 2012 at 05:19:33PM +0100, Felipe Contreras wrote: > > In any case, I agree that having a clean, understandable code as a > > starting point is better than having a more "portable" but trickier > > one right away. If it will need converting to POSIX, that can be > > done as a follow up (and as we've both noticed, this would be the > > only point where such a conversion might be problematic -- the other > > changes would be trivial, almost automatic). > > 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) I'm fine with bash. The critical thing is that it not break people's "make test" if they do not have bash (or do not have bash as /bin/bash). -Peff -- 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