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