{"push_id":628776058,"size":1,"distinct_size":1,"ref":"refs/heads/feature/fixpackagedamage","head":"6e2dbc08aa67cced88a65f601275b5a6214828fc","before":"2288ff282abd7d596b5d3ce2e71247bd7ffb7d24","commits":[{"sha":"6e2dbc08aa67cced88a65f601275b5a6214828fc","author":{"email":"b689e8fbf5478ab01030c99bb659bc78106d7fbb@posteo.de","name":"Thomas Krause"},"message":"disable GZIP for REST service completly","distinct":true,"url":"https://api.github.com/repos/thomaskrause/ANNIS/commits/6e2dbc08aa67cced88a65f601275b5a6214828fc"}]}