{"push_id":1458334995,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"420ad3ea75cebcc0b8745994343e5c360fc215b9","before":"e6caaeab473a44e6e2008130bb055bef7e0f8062","commits":[{"sha":"420ad3ea75cebcc0b8745994343e5c360fc215b9","author":{"name":"Clifford Wolf","email":"51c030b6e81569329c190fce4010a527a7fbfabe@clifford.at"},"message":"Towards fairly unified checker interface","distinct":true,"url":"https://api.github.com/repos/cliffordwolf/riscv-formal/commits/420ad3ea75cebcc0b8745994343e5c360fc215b9"}]}
{"actor":{"display_login":"cliffordwolf"}}