{"push_id":1185679202,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"6f61d53a2b949af6fc3c0b93bc9dec28c904adb7","before":"65992e4f5cc3956e4a0b731c11f472e22d5a770b","commits":[{"sha":"5be11a573853d0e7ba8826261afc88914f22b042","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"chore(library/init/meta/constructor_tactic): cleanup","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/5be11a573853d0e7ba8826261afc88914f22b042"},{"sha":"58569b82d35110bf000f3c1ac725f805585c4340","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"refactor(frontends/lean,library,library/tactic): move type_context_cache_helper to type_context module","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/58569b82d35110bf000f3c1ac725f805585c4340"},{"sha":"97719a4c5f4698075c58941f0beff80672cd0a3d","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"refactor(frontends/lean): disable '!' operator, and adjust standard library","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/97719a4c5f4698075c58941f0beff80672cd0a3d"},{"sha":"6f61d53a2b949af6fc3c0b93bc9dec28c904adb7","author":{"name":"Travis CI","email":"10f03dd0063d0778d10ada107c04ef3de547981f@travis-ci.org"},"message":"refactor(frontends/lean): disable '!' operator, and adjust standard library","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/6f61d53a2b949af6fc3c0b93bc9dec28c904adb7"}]}
{"actor":{"display_login":"soonhokong"}}