{"push_id":731844827,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f58b2dcedd9ef08a02a7460c5103c9e08e504e3a","before":"8567f2f9e6c046f0f3c91bcc709d92217d59e353","commits":[{"sha":"f58b2dcedd9ef08a02a7460c5103c9e08e504e3a","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"Update: 0.2.0.20150720191030.a8f8e7116b155ba0bd7965d55fe310d10984dbc6","distinct":true,"url":"https://api.github.com/repos/leanprover/macports/commits/f58b2dcedd9ef08a02a7460c5103c9e08e504e3a"}]}