{"push_id":1038383178,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"8541b7328725c3bb7b3e72a956b2230d282e0962","before":"0f039d62d2adcfcf13126bce605960f0c0aa78ad","commits":[{"sha":"8541b7328725c3bb7b3e72a956b2230d282e0962","author":{"email":"4f1116b4665fa9480561f5e1eac5cb987fb35d59@gmail.com","name":"Matej Vitek"},"message":"Committing slightly unfunctional version - needs debugging","distinct":true,"url":"https://api.github.com/repos/MatejVitek/SAT-Solver/commits/8541b7328725c3bb7b3e72a956b2230d282e0962"}]}