tree 688c21092b00b567a017f20f33e527f0adb09161
parent dd188a6070fbcf64361ebefedc405224535c741a
author Jean-Philippe Braun <eon@patapon.info> 1620650979 +0200
committer Marcel van Lohuizen <mpvl@golang.org> 1620925134 +0000

pkg/tool/http: make request.body optional

For simple GET requests this is quite weird to have to set:

`request: body: ""`

Change-Id: I41a86ba5a5ab2dd25dad792e2efa4b95b874e30f
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/9722
Reviewed-by: CUE cueckoo <cueckoo@gmail.com>
Reviewed-by: Marcel van Lohuizen <mpvl@golang.org>