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