{"push_id":2960135530,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"6e1d09c374f26a421b4eb97ecc0f88e999ddfae3","before":"0af9fe16ba4356f20b08f3c933b03676cccd1cf3","commits":[{"sha":"d1e809884a547d08a6120a853612b302febcf729","author":{"name":"Enrico Tassi","email":"bfeba92d1cc768c8167b9993c6e2d82bae3fbaa3@fettunta.org"},"message":"wip","distinct":true,"url":"https://api.github.com/repos/LPCIC/coq-elpi/commits/d1e809884a547d08a6120a853612b302febcf729"},{"sha":"6e1d09c374f26a421b4eb97ecc0f88e999ddfae3","author":{"name":"Enrico Tassi","email":"bfeba92d1cc768c8167b9993c6e2d82bae3fbaa3@fettunta.org"},"message":"port names to CPP paper","distinct":true,"url":"https://api.github.com/repos/LPCIC/coq-elpi/commits/6e1d09c374f26a421b4eb97ecc0f88e999ddfae3"}]}
{"actor":{"display_login":"gares"}}