{"push_id":3888272678,"size":2,"distinct_size":1,"ref":"refs/heads/deploy-kms","head":"9a68af37c8ec11c4dbc4b593ffa55a8745a382b0","before":"3b1648d36461542097f3e0ee80f2004ef95b5096","commits":[{"sha":"a4fb49d6d623489c18cc5cc7e32fdabb95af018b","author":{"name":"Pierre-Yves Strub","email":"3ab4b4e365d2c50e7762f909b332e9beb5b4a074@strub.nu"},"message":"fix Why3 literals comparisons\n\n[fix #17394]","distinct":false,"url":"https://api.github.com/repos/EasyCrypt/easycrypt/commits/a4fb49d6d623489c18cc5cc7e32fdabb95af018b"},{"sha":"9a68af37c8ec11c4dbc4b593ffa55a8745a382b0","author":{"name":"Pierre-Yves Strub","email":"3ab4b4e365d2c50e7762f909b332e9beb5b4a074@strub.nu"},"message":"Merge branch '1.0' into deploy-kms","distinct":true,"url":"https://api.github.com/repos/EasyCrypt/easycrypt/commits/9a68af37c8ec11c4dbc4b593ffa55a8745a382b0"}]}
{"actor":{"display_login":"strub"}}