See https://github.com/php/php-src/pull/7971
In attempt to reduce e-mail flooding, only send notifications for new
issues and pull requests. If you wish to receive all notifications you
can watch issues/PRs on GitHub.
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.
Move everything that should be accessible from the webserver into
a public/ directory. Previously the document root was the root
of the repository, which is not great.