{"push_id":2484405287,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"2892f076c06495d0d3153c958f2bbaf9418495e4","before":"47bb37df30218a2cf0a1d534c9483f9ba3db04cb","commits":[{"sha":"2892f076c06495d0d3153c958f2bbaf9418495e4","author":{"name":"Mate Soos","email":"8641df67a9b89e37afece0ff9369bb68ee7428ba@gmail.com"},"message":"Use unique filenames for DRAT in fuzzer","distinct":true,"url":"https://api.github.com/repos/msoos/cryptominisat/commits/2892f076c06495d0d3153c958f2bbaf9418495e4"}]}
{"actor":{"display_login":"msoos"}}