{"push_id":598918454,"size":1,"distinct_size":1,"ref":"refs/heads/mavericks","head":"9356a7ebd7a37f47a4c9af52553c8e193970772f","before":"ed209a81e16aacb279901b91ca9620d356380fdc","commits":[{"sha":"9356a7ebd7a37f47a4c9af52553c8e193970772f","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"Add lean-0.2.0.20150311130613.git1c55e2f389d6018784ba29d37e22bbb0d8dd99c6.mavericks.bottle.tar.gz","distinct":true,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/9356a7ebd7a37f47a4c9af52553c8e193970772f"}]}