{"push_id":2915759806,"size":1,"distinct_size":1,"ref":"refs/heads/concrete-semantics","head":"5aeb622087063effc20e106f4e5dc4ee254c4036","before":"cc5c3972f6306b6a64932ce874ddc3a25a2f49c6","commits":[{"sha":"5aeb622087063effc20e106f4e5dc4ee254c4036","author":{"name":"Benedikt Becker","email":"c7ea55873303de026541add50a8cba50fcf9dad4@inria.fr"},"message":"Use NOTES.org for discussion, add SNop and semantics for SExit","distinct":true,"url":"https://api.github.com/repos/colis-anr/symbolic/commits/5aeb622087063effc20e106f4e5dc4ee254c4036"}]}
{"actor":{"display_login":"benozol"}}