{"push_id":1922754826,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"deb7a208aa3553b389975ef834e92cff8034e920","before":"658951ea053bf014d0352c4e4e32f1e5f1e07e10","commits":[{"sha":"deb7a208aa3553b389975ef834e92cff8034e920","author":{"name":"Kim","email":"7ebb323990a99b58e863b1f8e6b1664f241516bd@informatik.hu-berlin.de"},"message":"readme minor","distinct":true,"url":"https://api.github.com/repos/voellinger/verified-certifying-distributed-algorithms/commits/deb7a208aa3553b389975ef834e92cff8034e920"}]}
{"actor":{"display_login":"voellinger"}}