{"push_id":709302637,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7a0a3f03067cc86e70de9e341f8ae34a25072aa8","before":"8bcf6aa28424a442dcaa019218a93779f73c5242","commits":[{"sha":"7a0a3f03067cc86e70de9e341f8ae34a25072aa8","author":{"email":"699b8876a5aebc066d0177c42187334a16329161@gmail.com","name":"Inari Listenmaa"},"message":"fix disjunction in slOrRm","distinct":true,"url":"https://api.github.com/repos/inariksit/cgsat/commits/7a0a3f03067cc86e70de9e341f8ae34a25072aa8"}]}