{"push_id":668112504,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"fba17514553ba2acf684497b943ac75201c41a7a","before":"285ff5d4731b43aa1b40246fffdb4a68c328b5a1","commits":[{"sha":"fba17514553ba2acf684497b943ac75201c41a7a","author":{"email":"7afaa0a74c41394c7122fe61723ddc365f322a55@karetnikov.org","name":"Nikita Karetnikov"},"message":"Add solutions to the \"ProofObjects\" chapter","distinct":true,"url":"https://api.github.com/repos/nkaretnikov/software-foundations/commits/fba17514553ba2acf684497b943ac75201c41a7a"}]}