{"push_id":2934968605,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c8f1e8d6cb112498418abbd41d0098009e038331","before":"679f6d9758a592a8c0ea8436fc632d3c4cb5b10a","commits":[{"sha":"c8f1e8d6cb112498418abbd41d0098009e038331","author":{"name":"Dennis","email":"7965a665163253a12f43312bf69d07012a113a2a@tryitonline.net"},"message":"updated Agda","distinct":true,"url":"https://api.github.com/repos/TryItOnline/tryitonline/commits/c8f1e8d6cb112498418abbd41d0098009e038331"}]}
{"actor":{"display_login":"DennisMitchell"}}