{"push_id":691206882,"size":2,"distinct_size":2,"ref":"refs/heads/crv15","head":"4673fa265832d199a696823b065587602596f7a3","before":"e3a5cd9baf992e10729858e70438224e5c78b73a","commits":[{"sha":"faed54eb3044027d122b867df0015dfcb8af70bd","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"update lib","distinct":true,"url":"https://api.github.com/repos/runtimeverification/RV-Log/commits/faed54eb3044027d122b867df0015dfcb8af70bd"},{"sha":"4673fa265832d199a696823b065587602596f7a3","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"debug benchmarks ok","distinct":true,"url":"https://api.github.com/repos/runtimeverification/RV-Log/commits/4673fa265832d199a696823b065587602596f7a3"}]}