{"push_id":653697644,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"07b58e2b944fd83fc7f727eb8da40cdcc2323162","before":"3c7bf1014c7feb46bd96569f8e90f1ca7c19df6d","commits":[{"sha":"fe0c6ec2148489555e9ebc844b65f48e6280a9ac","author":{"email":"6397e54c73c7476acbd7aecbe79c690aff3dfe97@chalmers.se","name":"moajohansson"},"message":"Pretty printer to Isabelle/HOL","distinct":true,"url":"https://api.github.com/repos/tip-org/tools/commits/fe0c6ec2148489555e9ebc844b65f48e6280a9ac"},{"sha":"07b58e2b944fd83fc7f727eb8da40cdcc2323162","author":{"email":"6397e54c73c7476acbd7aecbe79c690aff3dfe97@chalmers.se","name":"moajohansson"},"message":"Merge branch 'master' of https://github.com/tip-org/tools","distinct":true,"url":"https://api.github.com/repos/tip-org/tools/commits/07b58e2b944fd83fc7f727eb8da40cdcc2323162"}]}