{"push_id":1962238568,"size":1,"distinct_size":1,"ref":"refs/heads/feature/string-max-input-length#948","head":"ac31e984edbaf19df1a6a25ffa3b381153d20084","before":"da6980d02efeb02a59a894c0cdd29b6af1340949","commits":[{"sha":"ac31e984edbaf19df1a6a25ffa3b381153d20084","author":{"name":"Lukasz A.J. Wrona","email":"b03422cd9adbffb8cb966cf178110d68100f8bc6@gmail.com"},"message":"Convert object_parmaeters class into methodless struct","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/ac31e984edbaf19df1a6a25ffa3b381153d20084"}]}
{"actor":{"display_login":"LAJW"}}