{"push_id":1540742862,"size":1,"distinct_size":1,"ref":"refs/heads/regression-full-slice","head":"e823d4b889db73ce7d30bc7fb38807b5cbfa90cd","before":"3613ef929334f72ce322dbe541997d0a4e3cb718","commits":[{"sha":"e823d4b889db73ce7d30bc7fb38807b5cbfa90cd","author":{"name":"Lucas Cordeiro","email":"1cb30da3cfd26314e308e0c9f91afa75fa2403a3@gmail.com"},"message":"moved full-slice test cases from cbmc to goto-instrument\n\nSigned-off-by: Lucas Cordeiro <lucasccordeiro@gmail.com>","distinct":true,"url":"https://api.github.com/repos/lucasccordeiro/cbmc/commits/e823d4b889db73ce7d30bc7fb38807b5cbfa90cd"}]}
{"actor":{"display_login":"lucasccordeiro"}}