{"push_id":901582704,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"5f150045e1267fdf9735255b819059abd8dd3b32","before":"d3240f4804754ef44f891c1daef2892ed7e3655e","commits":[{"sha":"5f150045e1267fdf9735255b819059abd8dd3b32","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"Bottles: 0.2.0.20151213212744.gite3a35ba4fd263cd27b29b30829745244b47e677c [skip ci]","distinct":true,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/5f150045e1267fdf9735255b819059abd8dd3b32"}]}