{"push_id":678516025,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"311cfacce1752f910fc4da3da66f8fa0eeb7ba63","before":"8e697b5a47704fa67e4444443b5536f131e90979","commits":[{"sha":"311cfacce1752f910fc4da3da66f8fa0eeb7ba63","author":{"email":"6dc7590202b61710b0abdb09a5358a0026fcbef6@cs.cmu.edu","name":"Darya K"},"message":"Changed T-Meth case of the preservation proof and added indices to associated rules.","distinct":true,"url":"https://api.github.com/repos/wyvernlang/docs/commits/311cfacce1752f910fc4da3da66f8fa0eeb7ba63"}]}