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