{"push_id":601696941,"size":1,"distinct_size":1,"ref":"refs/heads/swing","head":"8640d32d2285fa53db0f554bf634dc4a28bb7ea4","before":"872b0f15253562c2fb0d72c83be97f455c116f8d","commits":[{"sha":"8640d32d2285fa53db0f554bf634dc4a28bb7ea4","author":{"email":"ac4fb04cc7fb8c13f4b8b0abc6ce58d39f2a91f8@webarticum.hu","name":"davidsusu"},"message":"A SAT solver added","distinct":true,"url":"https://api.github.com/repos/davidsusu/orarend/commits/8640d32d2285fa53db0f554bf634dc4a28bb7ea4"}]}