{"push_id":715164973,"size":3,"distinct_size":3,"ref":"refs/heads/incremental","head":"6b612f7bfff9c5119279768700a7618b0ed1b44f","before":"6d657da4d187891fdda38eeb93e56520d792169e","commits":[{"sha":"0273ae779c0d3e13fa142f58b64098323bf80837","author":{"email":"38061091361cbedd45093accaa8166eba808764f@gmail.com","name":"Jonathan DiLorenzo"},"message":"Minor, but important changes to 1b","distinct":true,"url":"https://api.github.com/repos/cornell-pl/forest/commits/0273ae779c0d3e13fa142f58b64098323bf80837"},{"sha":"62750a8f8af677fcb9a3350d7fcb21c0eec9f3b0","author":{"email":"38061091361cbedd45093accaa8166eba808764f@gmail.com","name":"Jonathan DiLorenzo"},"message":"Finished Lemma 1b. I assert it can't possibly be right.","distinct":true,"url":"https://api.github.com/repos/cornell-pl/forest/commits/62750a8f8af677fcb9a3350d7fcb21c0eec9f3b0"},{"sha":"6b612f7bfff9c5119279768700a7618b0ed1b44f","author":{"email":"38061091361cbedd45093accaa8166eba808764f@gmail.com","name":"Jonathan DiLorenzo"},"message":"Merge branch 'incremental' of github.com:cornell-pl/forest into incremental","distinct":true,"url":"https://api.github.com/repos/cornell-pl/forest/commits/6b612f7bfff9c5119279768700a7618b0ed1b44f"}]}