{"push_id":681279415,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"85ecf3eb42dfb70884c8c8c7cb2dd5972562199a","before":"efea5b040b51d1de4cf80eb8af39f690fa0c7b6b","commits":[{"sha":"85ecf3eb42dfb70884c8c8c7cb2dd5972562199a","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"Update: 0.2.0.20150601090053.b1404c5943959938556095291a94041663d807b5","distinct":true,"url":"https://api.github.com/repos/leanprover/macports/commits/85ecf3eb42dfb70884c8c8c7cb2dd5972562199a"}]}