{"push_id":690361495,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9a42a201a8403f02e7671befe09923a06ddcd15c","before":"c2ca267c9b8d85287d23ead8f7f38fa7d1d732f8","commits":[{"sha":"9a42a201a8403f02e7671befe09923a06ddcd15c","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"Update: 0.2.0.20150609191729.cff7b7474a9de5950b799d7ddcbb503a2ffb303f","distinct":true,"url":"https://api.github.com/repos/leanprover/macports/commits/9a42a201a8403f02e7671befe09923a06ddcd15c"}]}