Public notmuch.mbox missing some messages which are tagged in nmbug

[Daniel Kahn Gillmor]

On Wed 2017-10-11 08:04:05 -0300, David Bremner wrote:
> "W. Trevor King" <wking at tremily.us> writes:
>
>> If somebody has copies of those messages, can they push them up into
>> the mbox?  Maybe they went to the freelists list [3]?  Maybe they were
>> off-list?  Maybe they just missed inclusion in the mbox?
>
> It's likely that they were sent to the freelists list. I don't know of
> an easy way to add them to the archive on notmuchmail.org, but I'm open
> to ideas. 

if you have them locally, what if you were to just "bounce" them to the
mailing list right now?  that is, pipe them individually into "sendmail
notmuch at notmuchmail.org"

the worst that happens is that some folks get a second copy of those
messages, but if they're using notmuch they won't care :)

        --dkg