{"push_id":2499001284,"size":1,"distinct_size":1,"ref":"refs/heads/deploy-pruning-theories","head":"f9525303de8350522c15a88b225bacd71837c76a","before":"aa36bc1dde92f8005deb2fd54e8ef7ff35711db5","commits":[{"sha":"f9525303de8350522c15a88b225bacd71837c76a","author":{"name":"François Dupressoir","email":"6b9ec4e02ed938cd4555328bfddb00a7ca532475@gmail.com"},"message":"moving OldDistr to oldlibs to mark deprecation","distinct":true,"url":"https://api.github.com/repos/EasyCrypt/easycrypt/commits/f9525303de8350522c15a88b225bacd71837c76a"}]}
{"actor":{"display_login":"fdupress"}}