{"push_id":790221794,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"94c2d3e3f2e59e7f87f2d3a25118b015b6ba27d3","before":"5005d97264c7a328b2611d6cfdabac2534c5b9c4","commits":[{"sha":"94c2d3e3f2e59e7f87f2d3a25118b015b6ba27d3","author":{"email":"2925dc4a369bed4f983990f87bdef6875553515f@alum.mit.edu","name":"Emina Torlak"},"message":"Initial commit of unit and system tests.","distinct":true,"url":"https://api.github.com/repos/emina/kodkod/commits/94c2d3e3f2e59e7f87f2d3a25118b015b6ba27d3"}]}