{"ref":"refs/heads/master","commits":[{"author":{"email":"1943a4aedc433cd5d7dbaea238b29d9a8ec2edd9@student.chalmers.se","name":"Dan Rosén"},"sha":"87ded4cd452318877795f0ba0dbec69ab45607e0","message":"Fix arities of pointers to temporary functions from fixed point induction","url":"https://api.github.com/repos/danr/autospec/commits/87ded4cd452318877795f0ba0dbec69ab45607e0"}],"head":"87ded4cd452318877795f0ba0dbec69ab45607e0","size":1,"push_id":52423097}