{"push_id":625861175,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"2118ab75232370340ba9cb11e6c6ca485149215c","before":"362183113cb398285a444536c8e41047ce53c90b","commits":[{"sha":"2118ab75232370340ba9cb11e6c6ca485149215c","author":{"email":"608e1b57eb13a0a30d495364e02c0a90d2ed7106@bbn.com","name":"John Altidor"},"message":"updated type theory tutorial","distinct":true,"url":"https://api.github.com/repos/jgaltidor/twelf_tutorial/commits/2118ab75232370340ba9cb11e6c6ca485149215c"}]}