{"push_id":792786833,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"74dc0f18791f2cf20509c031f2d6345eaba34748","before":"4770209e3c19b04ebbf3e4eabb226ce0b299fcc8","commits":[{"sha":"74dc0f18791f2cf20509c031f2d6345eaba34748","author":{"email":"9e8d8337dfa80114c831d624353cdf1d5584391d@cybersecurity.ox.ac.uk","name":"Katriel Cohn-Gordon"},"message":"Include login name in image cache directory\n\nFixes tamarin-prover/tamarin-prover#142","distinct":true,"url":"https://api.github.com/repos/katrielalex/tamarin-prover/commits/74dc0f18791f2cf20509c031f2d6345eaba34748"}]}