{"push_id":811847068,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"73d9bede0f3a37ceec998ee71ee2efa9e0cd5ab5","before":"20ed813c4ee3a5d60385787da57f6c5c1de91b93","commits":[{"sha":"73d9bede0f3a37ceec998ee71ee2efa9e0cd5ab5","author":{"email":"2b9d56475662d6caa1747a3e28b137cf7ea3db05@gmail.com","name":"Ralf Sasse"},"message":"Update INSTALL.md\n\nFix link that changed inside the stack repository","distinct":true,"url":"https://api.github.com/repos/tamarin-prover/tamarin-prover/commits/73d9bede0f3a37ceec998ee71ee2efa9e0cd5ab5"}]}