[technoweenie]

For what it's worth, we have an API endpoint that has had the right IP network listed ever since it went active. If you _need_ to verify IPs for whatever reason, use this:

http://developer.github.com/v3/meta/