{"push_id":664249094,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"e3188dd5a044d966cbd49f24bf0f4057671eb66b","before":"44a3fb94ce1f0ffde2278f099ccddc28c72a859d","commits":[{"sha":"e3188dd5a044d966cbd49f24bf0f4057671eb66b","author":{"email":"b960e55a8709961c403368f94b95267a6f72e594@yahoo.com","name":"Jeremy Khawaja"},"message":"updating final paper and minor notes changes","distinct":true,"url":"https://api.github.com/repos/JKhawaja/Explicit-Type-Theory/commits/e3188dd5a044d966cbd49f24bf0f4057671eb66b"}]}