{"push_id":1130430810,"size":1,"distinct_size":1,"ref":"refs/heads/fix_metaSMT","head":"245dfe937e0cf3d636835445748da17797a0990e","before":"28d998bcfa0d3fee595a8ccbf150161818aa1b33","commits":[{"sha":"245dfe937e0cf3d636835445748da17797a0990e","author":{"email":"ac2482e6a3123520808df3e9ad36a215050e036c@informatik.uni-bremen.de","name":"Hoang M. Le"},"message":"filter -fno-rtti","distinct":true,"url":"https://api.github.com/repos/hoangmle/klee/commits/245dfe937e0cf3d636835445748da17797a0990e"}]}
{"actor":{"display_login":"hoangmle"}}