{"push_id":2538821119,"size":2,"distinct_size":2,"ref":"refs/heads/feature/improve-manual","head":"319d73f9723181ec303d08366c49102f5f9255c9","before":"a217b44a34cfb275d8c7d0bc5bc7d4bf7bca7f8b","commits":[{"sha":"278f6713df453cee4b26523f1a377213835d4b30","author":{"name":"Oliver Sander","email":"4e528e1b5c237d907957e752b9d443bb7868cd7d@tu-dresden.de"},"message":"Remove an obsolete TODO box\n\nBDM elements really are supposed to be transformed with the Piola\ntransformation (but dune-functions doesn't do it).","distinct":true,"url":"https://api.github.com/repos/dune-mirrors/dune-functions/commits/278f6713df453cee4b26523f1a377213835d4b30"},{"sha":"319d73f9723181ec303d08366c49102f5f9255c9","author":{"name":"Oliver Sander","email":"4e528e1b5c237d907957e752b9d443bb7868cd7d@tu-dresden.de"},"message":"Fix typo","distinct":true,"url":"https://api.github.com/repos/dune-mirrors/dune-functions/commits/319d73f9723181ec303d08366c49102f5f9255c9"}]}
{"actor":{"display_login":"dune-community-bot"}}