{"push_id":2754838643,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1c3f403cdf9a9d509e402e5e8e58bf8833a30798","before":"ea219da14f4f233fe04411d1a57dd4a4b5f08a12","commits":[{"sha":"1c3f403cdf9a9d509e402e5e8e58bf8833a30798","author":{"name":"Mathias Fleury","email":"c0ae34a3516b30101532ba364266836ad7a79f20@mpi-inf.mpg.de"},"message":"more information","distinct":true,"url":"https://api.github.com/repos/m-fleury/isabelle-snippets/commits/1c3f403cdf9a9d509e402e5e8e58bf8833a30798"}]}
{"actor":{"display_login":"m-fleury"}}