Use the REST API to get meta information about GitHub, including the IP addresses of GitHub services.