Frank Terbeck <[email protected]> writes: > (add-to-list 'org-contacts-new-address-ignore > "notifications@github\\.com")
Amusingly I filed a bug with github, saying that they should not emit mail with a person's name and an email address that does not belong to the person. They acknowleged that it would be better not to do this, but it didn't seem likely to get fixed. Another useful feature would be to add a property to a person's record that other names and email addresses shouldn't get picked up. This would be sort of like ignoring "Fred Foonly <[email protected]>" based on that email address being used in a flaky manner, and instead ignore "Fred Foonly <[email protected]>" based on Fred being marked as having odd sending addresses, and "Benefits Update <[email protected]>" based on [email protected] being marked as having odd full-name parts.
pgpng7GNy3cz2.pgp
Description: PGP signature
