{"push_id":660520854,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"1ddef54820d15c9abd656061c0a0616c300773e1","before":"89925a392e24a17f9af528e016fc41bdda604a08","commits":[{"sha":"3780e03f1be72fd507c066e3a18b7a0852f8b86d","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"feat(.travis.yml): use g++-4.9 on Travis","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/3780e03f1be72fd507c066e3a18b7a0852f8b86d"},{"sha":"1ddef54820d15c9abd656061c0a0616c300773e1","author":{"email":"1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","name":"Travis CI"},"message":"feat(.travis.yml): use g++-4.9 on Travis","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/1ddef54820d15c9abd656061c0a0616c300773e1"}]}