{"push_id":2405595968,"size":1,"distinct_size":1,"ref":"refs/heads/stop-adding-counter-examples","head":"7eb79220bc0ee49346de4e1f8600fdfc3462d995","before":"0ec097c3028e015fdfb3eb07f058954219b987f8","commits":[{"sha":"7eb79220bc0ee49346de4e1f8600fdfc3462d995","author":{"name":"Romain Brenguier","email":"b85ea2d6dcc482bea20a3fb7e3d8761fccb4a9b2@gmail.com"},"message":"fixup! Correct find_index function for `if`-expressions","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/7eb79220bc0ee49346de4e1f8600fdfc3462d995"}]}
{"actor":{"display_login":"romainbrenguier"}}