{"push_id":628403861,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"ae15a1f3f0d396e381f479c2ddc60a70c5279983","before":"719dba5e492633f70cf20da19ac19c86d641b29d","commits":[{"sha":"7d4dc6661fdba1d672ff120e840aa1eeb4cb2a54","author":{"email":"f84fc32ec2e0b68af7d03f17e52f2a8681703afb@galois.com","name":"Brian Huffman"},"message":"Yet more additions to Data.SBV.Dynamic API","distinct":true,"url":"https://api.github.com/repos/LeventErkok/sbv/commits/7d4dc6661fdba1d672ff120e840aa1eeb4cb2a54"},{"sha":"ae15a1f3f0d396e381f479c2ddc60a70c5279983","author":{"email":"bb7bae37dc36b0b86ed1831b8850104e61936af7@gmail.com","name":"Levent Erkok"},"message":"Merge pull request #149 from brianhuffman/master\n\nYet more additions to Data.SBV.Dynamic API","distinct":true,"url":"https://api.github.com/repos/LeventErkok/sbv/commits/ae15a1f3f0d396e381f479c2ddc60a70c5279983"}]}