{"push_id":825722336,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"df77c9fecc81e7cdcdc00f9d29a2935f85f9ba56","before":"b31f29a1177cfdbc2b36a127ce76045e9b71d9e8","commits":[{"sha":"df77c9fecc81e7cdcdc00f9d29a2935f85f9ba56","author":{"email":"9df4ed613cd465e2285164635b954a0db17da2b6@dune-project.org","name":"Christian Engwer"},"message":"[Documentation] fix typos in CHANGELOG","distinct":true,"url":"https://api.github.com/repos/dune-project/dune-pdelab/commits/df77c9fecc81e7cdcdc00f9d29a2935f85f9ba56"}]}