{"push_id":875974114,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"4dd7e8a7735d85ad807c1605d70b198bde3d2359","before":"74dc0f18791f2cf20509c031f2d6345eaba34748","commits":[{"sha":"4dd7e8a7735d85ad807c1605d70b198bde3d2359","author":{"email":"9e8d8337dfa80114c831d624353cdf1d5584391d@cybersecurity.ox.ac.uk","name":"Katriel Cohn-Gordon"},"message":"make Windows happy too","distinct":true,"url":"https://api.github.com/repos/katrielalex/tamarin-prover/commits/4dd7e8a7735d85ad807c1605d70b198bde3d2359"}]}