{"push_id":739215647,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"6db2fafde660eb7b9368336c05827a5100e96a1a","before":"c38296f1b104478a522a1a7574f3f595b07be455","commits":[{"sha":"6db2fafde660eb7b9368336c05827a5100e96a1a","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"Update: 0.2.0.20150727181616.d02b83b6d60b36b663dc73f67ac3e096b14e1f60","distinct":true,"url":"https://api.github.com/repos/leanprover/macports/commits/6db2fafde660eb7b9368336c05827a5100e96a1a"}]}