Junio C Hamano <gitster@xxxxxxxxx> writes: > It sounds more like "pass" than "ignore", the latter of which can be > read as "strip" instead of "pass it as-is". Or "allow" (which I prefer over "pass"). > The name "warn", and its stronger form "die", both sound right.
