CURLOPT_NOBODY

Hey there,

Do we need to set CURLOPT_NOBODY to 0 in
https://code.googlesource.com/git/+/master/http.c#1138? Do we do this
for the sake of doing, because it doesn't hurt?

According to the documentation in
http://curl.haxx.se/libcurl/c/CURLOPT_HTTPGET.html, if we set HTTPGET
to 1 it will automatically set NOBODY to 0, so the answer for the
above question would be no.

Also, according to http://curl.haxx.se/libcurl/c/CURLOPT_NOBODY.html,
it is 0 by default.

Bye,

-- 
Thiago Farina