{"push_id":842444357,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"93a96232d994a3dd956f3e055ba05968eac2ed46","before":"5623dfa7db4a51092a26b7b7cfe1da100bb38e78","commits":[{"sha":"93a96232d994a3dd956f3e055ba05968eac2ed46","author":{"email":"fc3214fa5544817de1b5e599cb2616817ac4df41@tilk.eu","name":"Marek Materzok"},"message":"Added missing proof for security properties (sealing etc.)","distinct":true,"url":"https://api.github.com/repos/tilk/LambdaCert/commits/93a96232d994a3dd956f3e055ba05968eac2ed46"}]}