{"push_id":1106020068,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"ee0c924042477447d8aacd52916cd36040952a45","before":"22afe1944df49866e418141bd906236949b4cf52","commits":[{"sha":"a549f70647d4659d6baa8838bc1654f97a459d4f","author":{"email":"7df64d90c053c0d51cf6d024cebac59959f3a819@cosmic.utah.edu","name":"lanjiann"},"message":"operation on the predicates of contracts","distinct":true,"url":"https://api.github.com/repos/Kraks/Verify-Contracts-for-Dynamic-Lang/commits/a549f70647d4659d6baa8838bc1654f97a459d4f"},{"sha":"ee0c924042477447d8aacd52916cd36040952a45","author":{"email":"7df64d90c053c0d51cf6d024cebac59959f3a819@cosmic.utah.edu","name":"lanjiann"},"message":"Merge branch 'master' of https://github.com/Kraks/LiquidScheme","distinct":true,"url":"https://api.github.com/repos/Kraks/Verify-Contracts-for-Dynamic-Lang/commits/ee0c924042477447d8aacd52916cd36040952a45"}]}