>>>>> "PB" == Petr Baudis <[EMAIL PROTECTED]> writes:
PB> I'm wondering if doing
PB> if [ "$(show-diff)" ]; then
PB> git diff | git apply
PB> checkout-cache -f -a
PB> would actually buy us some time; or, how common is it for people to have
PB> no local changes whatsoever, and whether relative slowdown of additional
PB> show-diff to git diff would actually matter.
"show-diff -s" perhaps. Also wouldn't it be faster to pipe
show-diff output (not git diff output) to patch (not git apply)?
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to [EMAIL PROTECTED]
More majordomo info at http://vger.kernel.org/majordomo-info.html