mailpipe: skip `.gitignore` files in Maildir mailboxes.
authorW. Trevor King <wking@tremily.us>
Sun, 2 Sep 2012 12:38:13 +0000 (08:38 -0400)
committerW. Trevor King <wking@tremily.us>
Sun, 2 Sep 2012 12:38:13 +0000 (08:38 -0400)
commitdf7f64f8a310aa531dcb57134dcf746fb82c2920
treec9e9c8b4f734d6bb9b51e7d0a6d2a80fdd5b160f
parenta4a7c2691f16e53f276efdf52d9fa88092cd6353
mailpipe: skip `.gitignore` files in Maildir mailboxes.

I use empty `.gitignore` files so Git will create the
`test/mail-in/new` and `test/mail-in/tmp` directories on checkout, but
the Maildir mailbox thinks they are messages.  Since the files are
*not* messages, skip them when constucting the Maildir message list.

I don't foresee any side effects from this (it's an odd filename for
real Maildir delivery), but I log the skipped filenames just in case.
pygrader/mailpipe.py