{"push_id":1110713162,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ce24a34aec697fe60d710f2488a176c1e1af0438","before":"ee8689761c6736743af718199854b2ed9026f099","commits":[{"sha":"ce24a34aec697fe60d710f2488a176c1e1af0438","author":{"email":"65ebdba617161c39b24b5a797c738a0ac09d8c97@alum.mit.edu","name":"Nada Amin"},"message":"well formedness preserved","distinct":true,"url":"https://api.github.com/repos/samuelgruetter/dot-calculus/commits/ce24a34aec697fe60d710f2488a176c1e1af0438"}]}