{"push_id":1237482359,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f9887bd5591fddcee7a52f7c1af7865904e6c9e0","before":"ae785e180e2809d6eb8e52346c7747c77964f53e","commits":[{"sha":"f9887bd5591fddcee7a52f7c1af7865904e6c9e0","author":{"name":"Eliran Haziza","email":"1b08ef342098e467d5a31ea0577551371f5701a9@gmail.com"},"message":"another quantifier range test case","distinct":true,"url":"https://api.github.com/repos/eliranhaze/frege2/commits/f9887bd5591fddcee7a52f7c1af7865904e6c9e0"}]}
{"actor":{"display_login":"eliranhaze"}}