{"push_id":628317249,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f6f8bb8f8b9c896d0402aeeae2383292816e5a2e","before":"86e38ad407feaeff6a6820eca4dfa99cc45491c0","commits":[{"sha":"f6f8bb8f8b9c896d0402aeeae2383292816e5a2e","author":{"email":"e0c2979cfd5540ec3d554342a409b733269a04ad@gmail.com","name":"Quinn Maurmann"},"message":"Continue exercises in Induction.v (e.g. commutativity, associativity of plus)","distinct":true,"url":"https://api.github.com/repos/qmaurmann/sf/commits/f6f8bb8f8b9c896d0402aeeae2383292816e5a2e"}]}