{"push_id":982180424,"size":5,"distinct_size":5,"ref":"refs/heads/wip/oil","head":"2e5780a5f2f9b9e39109cafb3cffec3da73d14fc","before":"97cc9c916e5b3ee3b48c76632d0b5a481d4510a1","commits":[{"sha":"4d8e209cb54ce76c90a28909c17abf3292e30e6b","author":{"email":"1c505ca698d4a3fdef8fa04ec7d7c8de57b39f0c@gmail.com","name":"Aleksey Kliger"},"message":"Give up on 7.8 (for now?)","distinct":true,"url":"https://api.github.com/repos/lambdageek/emile/commits/4d8e209cb54ce76c90a28909c17abf3292e30e6b"},{"sha":"b288df9da2ab98f7a27edafec905e33a0bc051c1","author":{"email":"1c505ca698d4a3fdef8fa04ec7d7c8de57b39f0c@gmail.com","name":"Aleksey Kliger"},"message":"Semantic signature embedding for MiniCore example","distinct":true,"url":"https://api.github.com/repos/lambdageek/emile/commits/b288df9da2ab98f7a27edafec905e33a0bc051c1"},{"sha":"426dc68b15afb723ec2a740acc958ac578eb8671","author":{"email":"1c505ca698d4a3fdef8fa04ec7d7c8de57b39f0c@gmail.com","name":"Aleksey Kliger"},"message":"Document the SIL a bit","distinct":true,"url":"https://api.github.com/repos/lambdageek/emile/commits/426dc68b15afb723ec2a740acc958ac578eb8671"},{"sha":"c5107a69597e195263af87f66779c4066ba27c89","author":{"email":"1c505ca698d4a3fdef8fa04ec7d7c8de57b39f0c@gmail.com","name":"Aleksey Kliger"},"message":"Example desugaring from SIL to a base language","distinct":true,"url":"https://api.github.com/repos/lambdageek/emile/commits/c5107a69597e195263af87f66779c4066ba27c89"},{"sha":"2e5780a5f2f9b9e39109cafb3cffec3da73d14fc","author":{"email":"1c505ca698d4a3fdef8fa04ec7d7c8de57b39f0c@gmail.com","name":"Aleksey Kliger"},"message":"WIP more elaboration from OIL to SIL","distinct":true,"url":"https://api.github.com/repos/lambdageek/emile/commits/2e5780a5f2f9b9e39109cafb3cffec3da73d14fc"}]}