{"push_id":653782218,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d5dc15ece6b4f9a6a07884ee87e441574a77fea6","before":"20eb44abd1e7c572df2fd0bc9b552bf3fb3e21ba","commits":[{"sha":"d5dc15ece6b4f9a6a07884ee87e441574a77fea6","author":{"email":"f5584691b16a9a712917fe4b3d7a7f808a1fe369@cmu.edu","name":"Danny Gratzer"},"message":"New post on church rosser theorem in twelf","distinct":true,"url":"https://api.github.com/repos/jozefg/blog/commits/d5dc15ece6b4f9a6a07884ee87e441574a77fea6"}]}