{"push_id":1263205633,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"74433f9c92d0dd7ff9d244fcdba71d42544169d5","before":"0a20f62c1deeeb1d1b71da4f3aa3b4c15af7c146","commits":[{"sha":"199decea514012d4bd20a03c16ef0d22f752a0a3","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"fix(library/tactic/tactic_state): remove problematic `get_tactic_vm_state`","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/199decea514012d4bd20a03c16ef0d22f752a0a3"},{"sha":"9979bf7ceaf0dc538bba2138098ea691e8f8ec75","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"chore(library): formatting","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/9979bf7ceaf0dc538bba2138098ea691e8f8ec75"},{"sha":"e4fd627ae22ba82339952d4e7b71b6f4bf1f6d8a","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(library/attribute_manager): fingerprints\n\nThe fingerprint changes whenever a new attribute is added.","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/e4fd627ae22ba82339952d4e7b71b6f4bf1f6d8a"},{"sha":"74433f9c92d0dd7ff9d244fcdba71d42544169d5","author":{"name":"Travis CI","email":"10f03dd0063d0778d10ada107c04ef3de547981f@travis-ci.org"},"message":"feat(library/attribute_manager): fingerprints","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/74433f9c92d0dd7ff9d244fcdba71d42544169d5"}]}
{"actor":{"display_login":"soonhokong"}}