{"push_id":562068082,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"2e1533454ef656a3318f467c8199e008b01c5949","before":"be2ea30f237ebb334d232b9fddff3718e54adcc9","commits":[{"sha":"2e1533454ef656a3318f467c8199e008b01c5949","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"0.2.0-gitc3b4ed8267cb8e901cf110e7767842ee565cc144-10.10.2 [skip ci]","distinct":true,"url":"https://api.github.com/repos/leanprover/homebrew-lean/commits/2e1533454ef656a3318f467c8199e008b01c5949"}]}