{"push_id":745252903,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"262f3b9a8a5a43c567094c472e09b7445b37b508","before":"5e4babac59f138eaabc193a9155be39c947de79d","commits":[{"sha":"262f3b9a8a5a43c567094c472e09b7445b37b508","author":{"email":"3fede32dca9955eb285e7ab204b36eb525d44b30@alumni.cmu.edu","name":"Charles Ruhland"},"message":"Cleanup: rearranged code and renamed functions","distinct":true,"url":"https://api.github.com/repos/cruhland/gentzen/commits/262f3b9a8a5a43c567094c472e09b7445b37b508"}]}