{"push_id":655558924,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"41eb80f5052dba6ce99fc01fcac3dee0d5d219ee","before":"8956ba639516b51af644523807e5030320694da8","commits":[{"sha":"26c662accd184f29f9e7a9ef14014913645af009","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(frontends/lean/builtin_exprs): improve new 'obtain' expression","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/26c662accd184f29f9e7a9ef14014913645af009"},{"sha":"613281d622c553d8d40b828b35ecb83a373db056","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"fix(frontends/lean/builtin_exprs): bug in new 'obtain' expression","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/613281d622c553d8d40b828b35ecb83a373db056"},{"sha":"64cc710ff70dd1f26514ae96dc38d459a128e3a7","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"refactor(ordered_group): replace 'match' with 'obtain'","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/64cc710ff70dd1f26514ae96dc38d459a128e3a7"},{"sha":"41eb80f5052dba6ce99fc01fcac3dee0d5d219ee","author":{"email":"1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","name":"Travis CI"},"message":"refactor(ordered_group): replace 'match' with 'obtain'","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/41eb80f5052dba6ce99fc01fcac3dee0d5d219ee"}]}