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