{"push_id":2802717200,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d96a05b076083c9f2795c4fa1a794ba911aafb79","before":"474b09fd6be05d623748f4fa9419e7d3d8934dc4","commits":[{"sha":"d96a05b076083c9f2795c4fa1a794ba911aafb79","author":{"name":"Federico Poli","email":"5da960474566bbcd68c324037861a9a80ca6625f@gmail.com"},"message":"Add tests for generation of unfoldings in old expressions","distinct":true,"url":"https://api.github.com/repos/viperproject/prusti/commits/d96a05b076083c9f2795c4fa1a794ba911aafb79"}]}
{"actor":{"display_login":"fpoli"}}