{"push_id":1223294172,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"50dc0d1d315de7f2152ed603dcced69cdae57f36","before":"5971f7e07a53d186910aa2b18da78fadaae66876","commits":[{"sha":"50dc0d1d315de7f2152ed603dcced69cdae57f36","author":{"name":"Vincent Schuster","email":"c82b6a06ea0a3ade0af37823e841b13780a7e71c@outlook.com"},"message":"Fixed bug in Terminatorkind::If","distinct":true,"url":"https://api.github.com/repos/VSchuster/rustproof/commits/50dc0d1d315de7f2152ed603dcced69cdae57f36"}]}
{"actor":{"display_login":"VSchuster"}}