{"push_id":1072125849,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7802e1b5db583cb06cc4ff73459191f2f540d03e","before":"f12deba0b9c5ff6fbba8e127ab79ffc6f76eb842","commits":[{"sha":"7802e1b5db583cb06cc4ff73459191f2f540d03e","author":{"email":"1c376d5d857472d3ba78e3b65464d10e3435e8f6@gmail.com","name":"piobpl"},"message":"Brutal UP: part 1","distinct":true,"url":"https://api.github.com/repos/piobpl/super-duper-satsolver/commits/7802e1b5db583cb06cc4ff73459191f2f540d03e"}]}