{"push_id":639939244,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"e0e882c8c938ced42161e5310b9413b9bd83eb9f","before":"326658e9335ce3223ccc4877cf69e7aa9b1d86cf","commits":[{"sha":"e0e882c8c938ced42161e5310b9413b9bd83eb9f","author":{"email":"c07173e6c0e0a13bf5e7ca528ddcd2fc2ccdfa0a@yahoo.com","name":"caminati"},"message":"cleaned up latest dynamic auction isabelle code","distinct":true,"url":"https://api.github.com/repos/formare/auctions/commits/e0e882c8c938ced42161e5310b9413b9bd83eb9f"}]}