Junio C Hamano wrote: > Output from > > $ git grep -n -e /dev/ --and --not -e /dev/null t/ FWIW $ git grep -e 'dd if=' shows a few missed harmless examples. Perhaps $ git grep -e '/dev/[^n]' would have been the simplest way to catch them. -- 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