{"push_id":1391665063,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1531c59bf4d40165cb5ea398e454d9c7da82f3f0","before":"2c9dbde190e002b80fa8d0ae74d948763016fb8e","commits":[{"sha":"1531c59bf4d40165cb5ea398e454d9c7da82f3f0","author":{"name":"Aleksandar Zeljic","email":"af956b7542bdc0eb894c814e4ebcf44095c6e049@it.uu.se"},"message":"Syntactic sugar added for BooleanTheory","distinct":true,"url":"https://api.github.com/repos/uuverifiers/uppsat/commits/1531c59bf4d40165cb5ea398e454d9c7da82f3f0"}]}
{"actor":{"display_login":"AleksandarZeljic"}}