Gzip-encoded HEAD responses throw EOFException

[ryan-williams]

requests.head("http://httpbin.org/get", headers = Map("Accept-Encoding" -> "gzip"))

java.io.EOFException
  java.util.zip.GZIPInputStream.readUByte(GZIPInputStream.java:268)
  java.util.zip.GZIPInputStream.readUShort(GZIPInputStream.java:258)
  java.util.zip.GZIPInputStream.readHeader(GZIPInputStream.java:164)
  java.util.zip.GZIPInputStream.<init>(GZIPInputStream.java:79)
  java.util.zip.GZIPInputStream.<init>(GZIPInputStream.java:91)
  requests.Requester.stream(Requester.scala:333)
  requests.Requester.apply(Requester.scala:110)
  ammonite.$sess.cmd0$Helper.<init>(cmd0.sc:2)
  ammonite.$sess.cmd0$.<init>(cmd0.sc:7)
  ammonite.$sess.cmd0$.<clinit>(cmd0.sc:-1)

I hit this in the wild while poking at the GitHub API:

requests.head("https://api.github.com/users/ryan-williams")

A work-around is to ask for a non-gzipped response:

requests.head(
  "https://api.github.com/users/ryan-williams", 
  headers = Map("Accept-Encoding" -> "identity")  // ✅ works
)