Try to debug github webhook

Working fine when manually providing a payload, but I'm not getting
any mails...

Show "Issue" instead of "Pull Request" in a few more places

Retab file

Support issues in github webhook

It does not look like the webhook payloads explicitly tell you
whether an issue comment is on a issue or PR. As such, we use the
HTML URL to determin

Support issues in github webhook

It does not look like the webhook payloads explicitly tell you
whether an issue comment is on a issue or PR. As such, we use the
HTML URL to determine whether it's an issue or PR.

show more ...

Allow to search notes within a specfified section

Only show link if user can use it

Paginate note search results instead of showing last 20

Use native search form supported by web-shared

Add heading for current view

Improve GitHub signature validation

We should not let the client decide the authentication method, see
https://www.wordfence.com/blog/2016/11/hacking-27-web-via-wordpress-auto-update/

Don't display a link to people.php.net for unapproved accounts as they do not exists there

Support PHP 7.1 in the mirrors, as some mirrors already seems to be using an RC version, such as be2

Adding myself to the list to help Christoph sort of requests

Add myself to admins

Hopefully, I'll be able to handle some outstanding account requests,
then. See <http://news.php.net/php.webmaster/25294>.

Handle pull request comments as well

These are distinct from review comments.

I've cannibalized the base-branch in the mail subject to support
this easily. This does not seem li

Handle pull request comments as well

These are distinct from review comments.

I've cannibalized the base-branch in the mail subject to support
this easily. This does not seem like particularly important
information in most cases.

show more ...

Try to make PR mails less spammy

Fix pull_request_review_comment handling

Add myself to mirror site admins

Added PHP 7.0

I misread the schema. arating is the key here.

Order by 'up' which is the sum of all 1 and -1 votes. The 'rate' feels a bit bogus, so let's skip it when finding good/bad notes

Allow 2 fetch timeouts -- should reduce failed positives

Revert "Hardcodish US mirrors by east/west coast"

This reverts commit ca968d3f275ed05321b57c41328bbadc06339ad9.

Turns out these are legacy things and not worth using :)

Hardcodish US mirrors by east/west coast

Hardcode php-web2.php.net (www.php.net) entry for north-america