{"push_id":3181992231,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d903264020424286b4388eff300d6eeee9fefc24","before":"3152246a84d5e0b55a4c97e42ca3d561fb074170","commits":[{"sha":"d903264020424286b4388eff300d6eeee9fefc24","author":{"name":"thofma","email":"6c29ec1d987ce02c19ad6916c48cf2226a65e880@gmail.com"},"message":"Bump flint version (#535)","distinct":true,"url":"https://api.github.com/repos/Nemocas/Nemo.jl/commits/d903264020424286b4388eff300d6eeee9fefc24"}]}
{"actor":{"display_login":"thofma"}}