{"push_id":573473804,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a6e6c361f060dba07b092d3da37e0114fdc8c921","before":"17db4e42461811167ab19c27ec8e55531d55b3a8","commits":[{"sha":"a6e6c361f060dba07b092d3da37e0114fdc8c921","author":{"email":"4f2213f6a19438af436331b6919981fc0b2d0d52@gmail.com","name":"Ioannis Filippidis"},"message":"conjoin (disjoin) using log number of operators\n\nin the number of literals","distinct":true,"url":"https://api.github.com/repos/johnyf/openpromela/commits/a6e6c361f060dba07b092d3da37e0114fdc8c921"}]}