{"push_id":2589339988,"size":2,"distinct_size":1,"ref":"refs/heads/deploy-kms","head":"2f7fa7172973f56b72e3c94da7efb589ad9cb04d","before":"a813616a49d952d96f2ad44d9bb82dea7d46e6cc","commits":[{"sha":"6f8d76d0e076cee981057ad7c521ce7e7e035414","author":{"name":"Pierre-Yves Strub","email":"3ab4b4e365d2c50e7762f909b332e9beb5b4a074@strub.nu"},"message":"Try to fix goals reordering in islossless","distinct":false,"url":"https://api.github.com/repos/EasyCrypt/easycrypt/commits/6f8d76d0e076cee981057ad7c521ce7e7e035414"},{"sha":"2f7fa7172973f56b72e3c94da7efb589ad9cb04d","author":{"name":"Pierre-Yves Strub","email":"3ab4b4e365d2c50e7762f909b332e9beb5b4a074@strub.nu"},"message":"Merge branch 'deploy-auto-lossless' into deploy-kms","distinct":true,"url":"https://api.github.com/repos/EasyCrypt/easycrypt/commits/2f7fa7172973f56b72e3c94da7efb589ad9cb04d"}]}
{"actor":{"display_login":"strub"}}