{"push_id":892200284,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"79df7e32039a38cd886712f4b2dbe678b8ead940","before":"09b88e3db918a044c4020f95fc25e114e89ad862","commits":[{"sha":"79df7e32039a38cd886712f4b2dbe678b8ead940","author":{"email":"5aa18ad24d18b2af571eebc3f3bbede978da4e70@gmail.com","name":"Brad Wilson"},"message":"Add diagnostic messages to TheoryDiscoverer","distinct":true,"url":"https://api.github.com/repos/xunit/xunit/commits/79df7e32039a38cd886712f4b2dbe678b8ead940"}]}