{"push_id":743609220,"size":1,"distinct_size":1,"ref":"refs/heads/patching_multiRobot","head":"6811e3169014f1aa7ab6b0126118552f74850f54","before":"1d938af6c2c5980cc8f5eb6b54abc222526c2cfb","commits":[{"sha":"6811e3169014f1aa7ab6b0126118552f74850f54","author":{"email":"56e3e4de3f59f6559bf1dbacb60099501762a75a@cornell.edu', u'primary': False}","name":"Catherine (Kai Weng) Wong"},"message":"added execution part of patching","distinct":true,"url":"https://api.github.com/repos/wongkaiweng/LTLMoP/commits/6811e3169014f1aa7ab6b0126118552f74850f54"}]}