compression: create a decompressor extensibility point and move gzip decompressor#10744

Merged

junr03 merged 26 commits intoenvoyproxy:masterfrom junr03:decompressor-filter

May 12, 2020

+405-57

Commits on Apr 10, 2020

dont delete my proto files
Jose Nino
committed
versioning stuff
Jose Nino
committed
option
Jose Nino
committed
proto: final state approved by formatter
Jose Nino
committed
create new extension point in api
Jose Nino
committed
CHECKPOINT: moved protos to decompressors extension point
Jose Nino
committed

Commits on Apr 11, 2020

decompressors extension point and gzip implementation. built and formatted
Jose Nino
committed
spelling
Jose Nino
committed
move protos again
Jose Nino
committed
new tree
Jose Nino
committed
done up to decompressor
Jose Nino
committed
fmt
Jose Nino
committed
name
Jose Nino
committed

Commits on Apr 12, 2020

minor
Jose Nino
committed

Commits on Apr 30, 2020

Merge branch 'master' into decompressor-filter
Jose Nino
committed
update
Jose Nino
committed

Commits on May 4, 2020

comments
Jose Nino
committed

Commits on May 8, 2020

Merge branch 'master' into decompressor-filter
Jose Nino
committed
fmt
Jose Nino
committed

Commits on May 10, 2020

update
Jose Nino
committed
fmt
Jose Nino
committed

Commits on May 11, 2020

fix
Jose Nino
committed
last fix
Jose Nino
committed
docs
Jose Nino
committed
docs
Jose Nino
committed
missing generated proto
Jose Nino
committed