{"push_id":844799517,"size":1,"distinct_size":1,"ref":"refs/heads/smtlib","head":"1615725c6d8ac59aa50e070868235ca8c2be1fdb","before":"d6cec330ac537c8db662983e33d18ba64019bcd3","commits":[{"sha":"1615725c6d8ac59aa50e070868235ca8c2be1fdb","author":{"email":"772e53cc4c2c2df89e0adfcc7a54bbb182bf8025@viasat.com","name":"Will Blair"},"message":"switching to json-c release","distinct":true,"url":"https://api.github.com/repos/wdblair/ATS-Postiats-contrib/commits/1615725c6d8ac59aa50e070868235ca8c2be1fdb"}]}