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