{"push_id":897677193,"size":1,"distinct_size":1,"ref":"refs/heads/feature/fix-shadow-warnings","head":"9172b157073c8b47fa57298bf275aedf5126d63d","before":"8a0ec8bdc6ff490465a7a266c5087842106de273","commits":[{"sha":"9172b157073c8b47fa57298bf275aedf5126d63d","author":{"email":"c2b6875542b569f6a42d2e9c8d6f91fbd06e6a4a@dune-project.org","name":"Christoph Grüninger"},"message":"Fix Wshadow warnings","distinct":true,"url":"https://api.github.com/repos/dune-project/dune-localfunctions/commits/9172b157073c8b47fa57298bf275aedf5126d63d"}]}