{"push_id":3176797151,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"750e47ffa0c2787dcc88beb59fa87347e5479b01","before":"cb8d7ed3036bec1f7a6ce9d3e574fe1527278470","commits":[{"sha":"750e47ffa0c2787dcc88beb59fa87347e5479b01","author":{"name":"Bart Jacobs","email":"a21ac737a6fb30bce4e0040ff0dc4e713fc7fdd6@cs.kuleuven.be"},"message":"Fix crash when using assertion as statement #150","distinct":true,"url":"https://api.github.com/repos/verifast/verifast/commits/750e47ffa0c2787dcc88beb59fa87347e5479b01"}]}
{"actor":{"display_login":"btj"}}