php/archived-web-master
1
0
Fork 0
mirror of https://github.com/php/web-master.git synced 2026-03-24 07:42:20 +01:00
Code Issues Packages Projects Releases Wiki Activity
1,360 Commits 8 Branches 4 Tags
main
Commit Graph

2 Commits

Author SHA1 Message Date
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
Nikita Popov
723ded37c9 Add up-to-date schema 
Some of the tables are not in use though.
 2021-04-07 11:13:08 +02:00