{"push_id":1311191449,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"cd91c82afcbf6e7b58e87bca68dd56915b296733","before":"8c0ff27bcec3bf87f5026196b16293e98ac873e3","commits":[{"sha":"cd91c82afcbf6e7b58e87bca68dd56915b296733","author":{"name":"Stan Janssen","email":"8c2df3d9b7c257c1939885e5c7a0f00fc542fc6c@outlook.com"},"message":"does entailment imply satisfiability of the first formula?","distinct":true,"url":"https://api.github.com/repos/software-engineering-amsterdam/ST-2016-wo1-5/commits/cd91c82afcbf6e7b58e87bca68dd56915b296733"}]}
{"actor":{"display_login":"Chronophobe"}}