{"push_id":670402961,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"b58e0a644dd52e3cbdf12573d64f3f5185b0d672","before":"066bfdadc36ef5f9580eb3f1aca2cc22f3128d50","commits":[{"sha":"b58e0a644dd52e3cbdf12573d64f3f5185b0d672","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"ports.tar: 0.2.0.20150520221457.2d22bb8ea2d2a87227a0ca3a7e27a5ca04802f68 [skip ci]","distinct":true,"url":"https://api.github.com/repos/leanprover/macports/commits/b58e0a644dd52e3cbdf12573d64f3f5185b0d672"}]}