{"push_id":1262321574,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"98d7e7d3d36eb27ac745304d5bb95181e9579e35","before":"f448f44078278f5cf2749daf135a12537656a1e8","commits":[{"sha":"98d7e7d3d36eb27ac745304d5bb95181e9579e35","author":{"name":"VerifierIntegerAssignment","email":"1f8ed3ab93995db91df2dbd5dfb30d8000bbb3bb@ust.hk"},"message":"Delete addDafny_rec_output","distinct":true,"url":"https://api.github.com/repos/VerifierIntegerAssignment/VIAP/commits/98d7e7d3d36eb27ac745304d5bb95181e9579e35"}]}
{"actor":{"display_login":"VerifierIntegerAssignment"}}