{"push_id":589329916,"size":1,"distinct_size":1,"ref":"refs/heads/cdesa-gibbs","head":"fecaf293c78d05506d65dab87cfbf98bc91a866a","before":"a9f53fce23f2b9abc06346dd3c9f48e6a7c6afa5","commits":[{"sha":"fecaf293c78d05506d65dab87cfbf98bc91a866a","author":{"email":"0a088790ddc1fb6aa6864069f5fe62ae77b4b9aa@stanford.edu","name":"Christopher De Sa"},"message":"sync","distinct":true,"url":"https://api.github.com/repos/stanford-ppl/hyperdsl/commits/fecaf293c78d05506d65dab87cfbf98bc91a866a"}]}