{"push_id":2700507383,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"6c64e74defaaf4486731c8d634a5057343d53970","before":"e66b071d54fa8a9f11ae613ef9e94f203456cd4a","commits":[{"sha":"6c64e74defaaf4486731c8d634a5057343d53970","author":{"name":"Lakhan Shiva Kamireddy","email":"4192d727da67e85265c8c04e00e16c872c92ce7c@gmail.com"},"message":"Update 2018-07-04-Probabilistic-Model-Checking.html","distinct":true,"url":"https://api.github.com/repos/lakhanshiva/lakhanshiva.github.io/commits/6c64e74defaaf4486731c8d634a5057343d53970"}]}
{"actor":{"display_login":"lakhanshiva"}}