{"head":"dda35301d71fb979e8f786944224b32055ebf5ad","size":1,"push_id":47629768,"commits":[{"sha":"dda35301d71fb979e8f786944224b32055ebf5ad","author":{"name":"kbak","email":"53b4baa6334a98e42ff1281cb22c96375c1bbbe8@gsd.uwaterloo.ca"},"url":"https://api.github.com/repos/gsdlab/clafer/commits/dda35301d71fb979e8f786944224b32055ebf5ad","message":"xml fix"}],"ref":"refs/heads/master","legacy":{"head":"dda35301d71fb979e8f786944224b32055ebf5ad","size":1,"push_id":47629768,"shas":[["dda35301d71fb979e8f786944224b32055ebf5ad","kbak@gsd.uwaterloo.ca","xml fix","kbak"]],"ref":"refs/heads/master"}}