def receive_push(self, event):
        self.promised_headers[event.pushed_stream_id] = event.headers
Receive the request headers for a pushed stream.
dataset/ETHPy150Open Lukasa/hyper/hyper/http20/stream.py/Stream.receive_push