{"push_id":2851767064,"size":1,"distinct_size":1,"ref":"refs/heads/feature/allow-extra-dofs","head":"ea349c281f5101ede67199cf20b1b246494fcb1d","before":"56849577f9cc1e3c8ab95f2038a9cab94edbd254","commits":[{"sha":"ea349c281f5101ede67199cf20b1b246494fcb1d","author":{"name":"Robert K","email":"34094693d149b7b2fde74f56f1ac1425b68971e2@posteo.org"},"message":"Merged from codegen.","distinct":true,"url":"https://api.github.com/repos/dune-mirrors/dune-fem/commits/ea349c281f5101ede67199cf20b1b246494fcb1d"}]}
{"actor":{"display_login":"dune-community-bot"}}