{"push_id":2074389116,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"43ce856d4b6fd87ffcedbb17225689183ace4d23","before":"5225850726a148edc6b26b837de2500462b6c80e","commits":[{"sha":"ceed5b4eba609bff332ed26eb67728f0c0efb75b","author":{"name":"Unknown","email":"6214814a67b9688a08e8c6dc7fa5dee076dddc8d@backeman.se"},"message":"Add support for fp.leq/geq and Boolean or","distinct":true,"url":"https://api.github.com/repos/uuverifiers/uppsat/commits/ceed5b4eba609bff332ed26eb67728f0c0efb75b"},{"sha":"43ce856d4b6fd87ffcedbb17225689183ace4d23","author":{"name":"Unknown","email":"6214814a67b9688a08e8c6dc7fa5dee076dddc8d@backeman.se"},"message":"Add support for timeouts","distinct":true,"url":"https://api.github.com/repos/uuverifiers/uppsat/commits/43ce856d4b6fd87ffcedbb17225689183ace4d23"}]}
{"actor":{"display_login":"ptrbman"}}