{"push_id":2546879603,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"088e0921886f456d0a334b8d30a5e0b79120719a","before":"acddcf89f717642b4508f73a2a730d3082636b31","commits":[{"sha":"088e0921886f456d0a334b8d30a5e0b79120719a","author":{"name":"carmine.abate@studenti.unitn.it","email":"4341d27a0b4b19d3aa421678fa4eebec45af7598@studenti.unitn.it"},"message":"proved, with Rob's lemma","distinct":true,"url":"https://api.github.com/repos/secure-compilation/when-good-components-go-bad/commits/088e0921886f456d0a334b8d30a5e0b79120719a"}]}
{"actor":{"display_login":"cabate13"}}