git.gnu.io has moved to IP address 209.51.188.249 -- please double check where you are logging in.

  • Evan Prodromou's avatar
    Initial support for ping service · 32f81b3c
    Evan Prodromou authored
    It makes sense to use the weblogs.com ping service to alert people to
    changes on the site. So, we do. Includes an extra ping queue handler.
    32f81b3c
ping.php 2.27 KB