{"ref":"refs/heads/master","push_id":54173337,"commits":[{"sha":"db95d340c32614c36fe99eb700875b9f6e487268","author":{"email":"f9a7c2c0b31a492eb4159e375ed151c4fe09920f@gmail.com","name":"Gustavo A. Gómez Farhat"},"url":"https://api.github.com/repos/ggutierrez/gecodert/commits/db95d340c32614c36fe99eb700875b9f6e487268","message":"Testing propagators generator with integer dom."}],"head":"db95d340c32614c36fe99eb700875b9f6e487268","size":1}