{"push_id":1744717145,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7db40f647f1e2182f42e260911c7ef09b258b004","before":"e955ad267109f41522e15ad757182258e9e86941","commits":[{"sha":"7db40f647f1e2182f42e260911c7ef09b258b004","author":{"name":"peter-kien","email":"9725c5df12e662ead94ecd236536a583153443d3"},"message":"Change type: Clause, CNF. Add satLiteral","distinct":true,"url":"https://api.github.com/repos/peter-kien/CNF/commits/7db40f647f1e2182f42e260911c7ef09b258b004"}]}
{"actor":{"display_login":"peter-kien"}}