Tell HN: Pushes to GitHub PRs are not working

Webhooks appear to be very (over 15 minutes) delayed as well.