{"push_id":2529293707,"size":1,"distinct_size":1,"ref":"refs/heads/Traversal-Strategy-Control","head":"c5f35d90577d359c593f82dd33ff905cabbcd9d6","before":"db0b4e33ea7c85ed3f089c28bedc0a70cc0305ed","commits":[{"sha":"c5f35d90577d359c593f82dd33ff905cabbcd9d6","author":{"name":"skrdnjs","email":"6e161783e9390830cccc3c995ec9d4d18f6f804e@naver.com"},"message":"180501 17:00 add result cl3PAL LL","distinct":true,"url":"https://api.github.com/repos/skrdnjs/pacc_cpachecker/commits/c5f35d90577d359c593f82dd33ff905cabbcd9d6"}]}
{"actor":{"display_login":"skrdnjs"}}