Thanks, that looks impressive. It doesn't look like it supports filtering on headers -- at least I don't see any calls to GmailMessage.getHeader(), and the onl

Thanks, that looks impressive. It doesn't look like it supports filtering on headers -- at least I don't see any calls to GmailMessage.getHeader(), and the only call to GmailMessage.getRawContent() appears to be in retrieving the ListID header (which Gmail's search natively supports). Looks like there's an open feature request for generalized header matching: https://github.com/ranmocy/gmail-automata/issues/36 https://github.com/ranmocy/gmail-automata/issues/36 I noticed that in the article I referenced (https://mjasion.pl/label-gitlab-notifications/ https://mjasion.pl/label-gitlab-notifications/) they also don't mention using getHeader and instead use getRawContent. It makes me wonder if the getHeader API was added more recently than this article and the project you mention.