{"push_id":825644837,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"bb0a2756a7973694038ff609d6b1000564dd9ff2","before":"711b07eb2e1bf7077823374bc5c037c2dbe1b6b7","commits":[{"sha":"bb0a2756a7973694038ff609d6b1000564dd9ff2","author":{"email":"06c3935a8d4d1e3caf495fc676ef7f989eb7dbbb@gmail.com","name":"Robert Widmann"},"message":"Remove extant file","distinct":true,"url":"https://api.github.com/repos/CodaFi/HoTT-Exercises/commits/bb0a2756a7973694038ff609d6b1000564dd9ff2"}]}