{"push_id":617549174,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"1b11a8d8f7f4bf6eecf54587c3741b984957a1cf","before":"fbc4c53a38d380cd45fd4b506603135e0b62c85c","commits":[{"sha":"dca774c13bb2938d74fdf789c229f07dd4cd19a6","author":{"email":"e06b95860a6082ae37ef08874f8eb5fade2549da@patrikbroman.se","name":"patwotrik"},"message":"Minor bugs in dfa skeleton fixed.","distinct":true,"url":"https://api.github.com/repos/patwotrik/gecode-tuples/commits/dca774c13bb2938d74fdf789c229f07dd4cd19a6"},{"sha":"1b11a8d8f7f4bf6eecf54587c3741b984957a1cf","author":{"email":"e06b95860a6082ae37ef08874f8eb5fade2549da@patrikbroman.se","name":"patwotrik"},"message":"Working DFA prop?","distinct":true,"url":"https://api.github.com/repos/patwotrik/gecode-tuples/commits/1b11a8d8f7f4bf6eecf54587c3741b984957a1cf"}]}