{"push_id":980306829,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"e26d7ea12496bdc0d864ad02b38944fa55fac346","before":"e63ba67c57d29cd63a432b0333ab5bc7f19b0984","commits":[{"sha":"632a26ec2f635f7f3e66e65263098728d2a5063e","author":{"email":"45396dd60a3a171454af320121b9e2c81aa4531a@g.clemson.edu","name":"yushan87"},"message":"Merge pull request #77 from mikekab/master\n\nCorrects Iterated_Cat theorem and simplifies additive inverse theorem for Z.","distinct":true,"url":"https://api.github.com/repos/mikekab/RESOLVE-Workspace/commits/632a26ec2f635f7f3e66e65263098728d2a5063e"},{"sha":"e26d7ea12496bdc0d864ad02b38944fa55fac346","author":{"email":"8652f0fbfbb4e3f6e2590385dc5c9a9ccac57421@g.clemson.edu","name":"mikekab"},"message":"Merge remote-tracking branch 'upstream/master'","distinct":true,"url":"https://api.github.com/repos/mikekab/RESOLVE-Workspace/commits/e26d7ea12496bdc0d864ad02b38944fa55fac346"}]}