{"push_id":1032489781,"size":1,"distinct_size":1,"ref":"refs/heads/refactor_operators_functionals","head":"ea27ed2174c8c571f59eba0344f4c72b3c58cdc8","before":"4f55caab37b0a88de111742cc53ae1fbb188ba6a","commits":[{"sha":"ea27ed2174c8c571f59eba0344f4c72b3c58cdc8","author":{"email":"54d06478cf3a37c93179cfe83764b3dd6351f9cf@wwu.de","name":"Felix Schindler"},"message":"[dune-gdt] update","distinct":true,"url":"https://api.github.com/repos/dune-community/dune-gdt-super/commits/ea27ed2174c8c571f59eba0344f4c72b3c58cdc8"}]}