{"push_id":1222527051,"size":1,"distinct_size":1,"ref":"refs/heads/snomed-test","head":"c3389bb94628b56227e70c9e50514e3a53218c02","before":"adb5cfb969f35b3f25114f9e4097d4a3d61e9faa","commits":[{"sha":"c3389bb94628b56227e70c9e50514e3a53218c02","author":{"name":"Stefan Borgwardt","email":"e6ceca87a6f1dc100826b009c19a12b65998acbb@tu-dresden.de"},"message":"tests for ASP encoding without bounds on the size of the unification problems","distinct":true,"url":"https://api.github.com/repos/julianmendez/uel/commits/c3389bb94628b56227e70c9e50514e3a53218c02"}]}
{"actor":{"display_login":"stefborg"}}