{"push_id":2902412048,"size":1,"distinct_size":1,"ref":"refs/heads/cmake-add-program-prefix","head":"030419022dd768fc37671fbc3b4de693bc76dcde","before":"a1c08abd4e367ebd1e0185ca42f910bc38979960","commits":[{"sha":"030419022dd768fc37671fbc3b4de693bc76dcde","author":{"name":"Mathias Preiner","email":"fbbda48ecc68d81ba9fb848d00d3643c1a0baad3@gmail.com"},"message":"cmake: Add program prefix option.","distinct":true,"url":"https://api.github.com/repos/mpreiner/CVC4/commits/030419022dd768fc37671fbc3b4de693bc76dcde"}]}
{"actor":{"display_login":"mpreiner"}}