Ben Walton <bwalton@xxxxxxxxxxxxxxxxxx> writes: > This is the alternate solution to this bug as proposed earlier today. > I don't have a preference either way for which solution is better or > more inline with the 'git way,' so please choose the most appropriate. I think die() is better for consistency reasons if nothing else. Thanks. -- 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