{"push_id":2981152099,"size":1,"distinct_size":1,"ref":"refs/heads/uniswap","head":"efbb2678f4cbc4978ce1f3bafbda05fe2b3a30aa","before":"4bf0d5a7cafd30f8fa5f36e9c85d32352ece7851","commits":[{"sha":"efbb2678f4cbc4978ce1f3bafbda05fe2b3a30aa","author":{"name":"Daejun Park","email":"59d1cd2ce867e8758eabcb5bed917514e2371d2d@gmail.com"},"message":"Update README.md","distinct":true,"url":"https://api.github.com/repos/runtimeverification/verified-smart-contracts/commits/efbb2678f4cbc4978ce1f3bafbda05fe2b3a30aa"}]}
{"actor":{"display_login":"daejunpark"}}