# filter mail from github repos
:0
* ^List-ID: .* <[a-z0-9-]+\.[^.]+\.github\.com>
* ^List-ID: .*<\/[a-z0-9-]+
  $MAILDIR/.github.$MATCH/