{"push_id":2682073118,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"83e02eb2997b66e9424db76168245aa9863277d6","before":"52058030e7bc93dc028e2cc3018e9e242a773cf3","commits":[{"sha":"83e02eb2997b66e9424db76168245aa9863277d6","author":{"name":"Ilya Sergey","email":"c4d6a002145072cab97a4d667de632d062b5a6ff@gmail.com"},"message":"Enabling back CVC4","distinct":true,"url":"https://api.github.com/repos/TyGuS/synsl/commits/83e02eb2997b66e9424db76168245aa9863277d6"}]}
{"actor":{"display_login":"ilyasergey"}}