{"push_id":1159238609,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"4380a4762527698f564dc0edca2c9802ee7ca765","before":"46db2ef1ff80252b736f15e4a96ac6546890db10","commits":[{"sha":"cb9b5650b7005e07cecd1fab5635531c692e8cbc","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(library/tactic): add 'subst' tactic","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/cb9b5650b7005e07cecd1fab5635531c692e8cbc"},{"sha":"4380a4762527698f564dc0edca2c9802ee7ca765","author":{"name":"Travis CI","email":"10f03dd0063d0778d10ada107c04ef3de547981f@travis-ci.org"},"message":"feat(library/tactic): add 'subst' tactic","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/4380a4762527698f564dc0edca2c9802ee7ca765"}]}
{"actor":{"display_login":"soonhokong"}}