{"push_id":627266846,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f04d2b60a3c2bf0758360ea4b4c0f13e8d0cdfc0","before":"a8c830e4e7235f451ab095c34b2781cf8271b254","commits":[{"sha":"f04d2b60a3c2bf0758360ea4b4c0f13e8d0cdfc0","author":{"email":"5b9bfdfbf7707e2704e8c32d661f2f81500b23e1@utexas.edu","name":"bradyz"},"message":"working on bool ring axioms","distinct":true,"url":"https://api.github.com/repos/bradyz/sandbox/commits/f04d2b60a3c2bf0758360ea4b4c0f13e8d0cdfc0"}]}