{"push_id":2655764656,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9ed32c176f26da529804dc59faaf3adcabcf5c2f","before":"5e521b2ccb408a007cc78d2068190864e72d3cef","commits":[{"sha":"9ed32c176f26da529804dc59faaf3adcabcf5c2f","author":{"name":"Michael Kohlhase","email":"8b4eee87768096c03500c6c3409b181ddeff6cd1@fau.de"},"message":"cronological order","distinct":true,"url":"https://api.github.com/repos/theoremprover-museum/theoremprover-museum.github.io/commits/9ed32c176f26da529804dc59faaf3adcabcf5c2f"}]}
{"actor":{"display_login":"kohlhase"}}