Re: [#156] Pushing HEAD

Let's please not accuse anyone of trying to sneak anything in.  It was my
understanding based on conversations at the interim that the expectation
for head requests and push was different.  If that impression was mistaken,
then my apologies. There were a significant number of edits to make in a
short period of time.  A simple heads up would suffice and I'd back that
back out.  That is why we have a review process after all :).

In any case,  that said,  as a client implementer, if I received push
promise on a head request response,  I'll likely universally refuse the
pushed streams unless I know those are also treated as implicit head
requests. I don't want any content returned at all when I do a head
request.
On Jul 1, 2013 4:55 PM, "Martin Thomson" <martin.thomson@gmail.com> wrote:

> James tried to sneak in the ability to use server push for HEAD in
> #151. I backed out those changes, but I do think that we do want to do
> this. I just need a clear signal that we have consensus to add the
> feature.
>
> p.s. this wont make it into -04
> p.p.s. github is super-unicorny today \:-(
>
>