{"push_id":663732842,"size":1,"distinct_size":1,"ref":"refs/heads/1.0","head":"0008cf8793546d5ec010e0c4adb69f56c62c5a20","before":"ffbd2188c880b48f1f140d8b1ef9e56de9953b12","commits":[{"sha":"0008cf8793546d5ec010e0c4adb69f56c62c5a20","author":{"email":"3ab4b4e365d2c50e7762f909b332e9beb5b4a074@strub.nu","name":"Pierre-Yves Strub"},"message":"Remove staled UI file, keeping emacs-based packaging scripts.\n\nSee easycrypt-atom mode.","distinct":true,"url":"https://api.github.com/repos/EasyCrypt/easycrypt/commits/0008cf8793546d5ec010e0c4adb69f56c62c5a20"}]}