177981da6c
Turns out GitHub *does* do gzip encoding by default, it just doesn't show up in the header logs for some reason...
(cherry picked from commit 6664dfb048)