In Gmail, I would like to apply the label Code to all GitHub notification emails concerning pull requests, and Bug to all those concerning issues.
Specifically, any message that gets a "View Pull Request" button should get labelled Code, and any message that gets a "View Issue" button should get labelled Bug.
There doesn't appear to be any reliable way to distinguish the two based on searching for text in the subject line or message body.
Ideally I'd like to filter based on the JSON-LD data that causes those buttons to appear, but that also does not appear to be possible.
