{"push_id":886907857,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1528a75062ae13eaf1d17de955434e9601701bea","before":"dd2664a6978da36f4286a34199b03a09cf45839f","commits":[{"sha":"1528a75062ae13eaf1d17de955434e9601701bea","author":{"email":"3ab4b4e365d2c50e7762f909b332e9beb5b4a074@strub.nu","name":"Pierre-Yves Strub"},"message":"easycrypt.dev: uninstall: use uninstall-purge","distinct":true,"url":"https://api.github.com/repos/EasyCrypt/opam/commits/1528a75062ae13eaf1d17de955434e9601701bea"}]}