{"ref":"refs/heads/master","commits":[{"author":{"email":"025a2623dadc156d3609eb394a6d2d2bb0a9cf31@techfak.uni-bielefeld.de","name":"Florian Paul Schmidt"},"sha":"de57d52d6be1b381bfd01a710420f625735aad11","message":"trying to get bootstrapping working","url":"https://api.github.com/repos/fps/easycrypt/commits/de57d52d6be1b381bfd01a710420f625735aad11"}],"head":"de57d52d6be1b381bfd01a710420f625735aad11","size":1,"push_id":52491390}