Will Palmer [off-list ref] writes:
In summary: it looks like I'll be sending another one.
Has anything happened to this topic since then? I am asking
primarily because I want to decide if I should discard
wp/sha1-name-negative-match topic from my tree [*1*].
I think what it attempts to do is a worthy thing, and it is shame to
see the initial implementation and review cycles we have spent so
far go to waste.
[Footnote]
*1* Not that my dropping a topic from 'pu' means very much; a
dropped topic can still be submitted and requeued after all.