{"push_id":1013033891,"size":1,"distinct_size":1,"ref":"refs/heads/patch-2","head":"eba6dc15d2f0cf26fc7a323658a8d57d5f288640","before":"a2c453c075b50a68e9dbb529b18e62907ab4c6ec","commits":[{"sha":"eba6dc15d2f0cf26fc7a323658a8d57d5f288640","author":{"email":"33611cf5ba59d0e389d5e910b7d48c710436e0a8@gmail.com","name":"WZY"},"message":"Typo - invariant should be AnswerIs(n_0!)","distinct":true,"url":"https://api.github.com/repos/ZiyaoWei/frap/commits/eba6dc15d2f0cf26fc7a323658a8d57d5f288640"}]}