{"push_id":613674093,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"dc5f87e12137c77b0f0d1859643537001ee85a4f","before":"125c73ceea4bfec4176ceb4658cd5721288e56d8","commits":[{"sha":"dc5f87e12137c77b0f0d1859643537001ee85a4f","author":{"email":"6051d11aa81b1a2154eb769ac6adfd984e243bea@franklinchen.com","name":"Franklin Chen"},"message":"Update quickcheck.","distinct":true,"url":"https://api.github.com/repos/FranklinChen/type-directed-tdd-rust/commits/dc5f87e12137c77b0f0d1859643537001ee85a4f"}]}