Nikita Popov 07d7ac181b Avoid sending duplicate mails for commits ...

Store commits we saw in the DB, and don't send duplicate mails
for them. This removes the php-src specific hack that I put in
place previously.

Ideally the distinct flag would tell use whether or not a commit
mail should be sent, but it doesn't work the way we need it to.

2021-04-07 16:47:34 +02:00

10 KiB

Raw Permalink Blame History

View Raw