Hi compiled Nginx 1.13.9 from master branch to try out HTTP/2 Server Push but noticed the pushed assets loose their gzip compression and are served as non-compressed assets ? Is that as intended ? I posted my findings at https://community.centminmod.com/threads/hurray-http-2-server-push-for-nginx.11910/#post-59411

http2_push_preload on;
add_header Link "</css/bootstrap.min.css>; rel=preload; as=style";
add_header Link "</css/theme-style.css>; rel=preload; as=style";

push works as I see PUSH_PROMISE frames and chrome reports push

nghttp -navs https://baremetal.doman.com/

[ 0.018] recv (stream_id=13) :method: GET
[ 0.018] recv (stream_id=13) :path: /css/bootstrap.min.css
[ 0.018] recv (stream_id=13) :authority: baremetal.domain.com
[ 0.018] recv (stream_id=13) :scheme: https
[ 0.018] recv PUSH_PROMISE frame <length=42, flags=0x04, stream_id=13>
; END_HEADERS
(padlen=0, promised_stream_id=2)
[ 0.018] recv (stream_id=13) :method: GET
[ 0.018] recv (stream_id=13) :path: /css/theme-style.css
[ 0.018] recv (stream_id=13) :authority: baremetal.domain.com
[ 0.018] recv (stream_id=13) :scheme: https
[ 0.018] recv PUSH_PROMISE frame <length=40, flags=0x04, stream_id=13>