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