Which exact headers are being leaked by GitHub? Depending on what they leak, this could be something only useful for counting hits (if all they leak is the implicit time of the request), or for fully tracking users (if they leak Etags, original IPs, etc).
It's too bad the author removed the badge from their Github profile. It would be interesting to see the effect of this post on profile views.