{"push_id":1237305093,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"bea3a1b6b75c42c1f1afaeed450a63e14d768433","before":"516dd7cdaaeca2bfdc686d6c9c7662fd0509561f","commits":[{"sha":"bea3a1b6b75c42c1f1afaeed450a63e14d768433","author":{"name":"Eliran Haziza","email":"1b08ef342098e467d5a31ea0577551371f5701a9@gmail.com"},"message":"real quantifier symbols","distinct":true,"url":"https://api.github.com/repos/eliranhaze/frege2/commits/bea3a1b6b75c42c1f1afaeed450a63e14d768433"}]}
{"actor":{"display_login":"eliranhaze"}}