Subject: [quicwg/base-drafts] b97ea1: Server push tidy up (#1503)

From: Lucas Pardue <[email-masked]>
Date: Fri, 29 Jun 2018 14:35:26 -0700

Branch: refs/heads/master
  Home:   https://github.com/quicwg/base-drafts
  Commit: b97ea1d1884247622623519d5edc50d0665ba2cc
      https://github.com/quicwg/base-drafts/commit/b97ea1d1884247622623519d5edc50d0665ba2cc
  Author: Lucas Pardue <[email-masked]>
  Date:   2018-06-29 (Fri, 29 Jun 2018)

  Changed paths:
    M draft-ietf-quic-http.md

  Log Message:
  -----------
  Server push tidy up (#1503)

* Server push tidy up

Removed a bit of duplication. Reordered text to match ordering of server push (PUSH_PROMISE and then push stream).

* My kingdom for an

* an online editor that doesn't suck

* 80 wasn't enough for me

* trailing trash

      **NOTE:** This service been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/

      Functionality will be removed from GitHub.com on January 31st, 2019.