{"push_id":1398852023,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"95ec94bd66d5b37e5e33f32024e400dd37ddd863","before":"7e84a5e76ba83b5f73760589efb051970d58172f","commits":[{"sha":"95ec94bd66d5b37e5e33f32024e400dd37ddd863","author":{"name":"Tim King","email":"6d42afa01bfdc4760de647746c33f49c3f23e5e4@google.com"},"message":"Deleting successfully parsed commands in the parser_black unit test.","distinct":true,"url":"https://api.github.com/repos/CVC4/CVC4/commits/95ec94bd66d5b37e5e33f32024e400dd37ddd863"}]}
{"actor":{"display_login":"timothy-king"}}