GitHub PushEvent at 2014-03-24 19:15:12
Repository: cryptominisat
Actor: msoos
Payload: {"shas":[["c9a880c299d6647ceddde5097900fd02d5e7ead3","8641df67a9b89e37afece0ff9369bb68ee7428ba@gmail.com","Flipping polarity 1% chance, after min. depth of 50","Mate Soos",true],["3a7e169d1c4c68eb9586f26c84b33f60fd916b4c","8641df67a9b89e37afece0ff9369bb68ee7428ba@gmail.com","Renaming variable","Mate Soos",true],["717f0e2994be6d0251cf7c609ad1eaf5712c37ec","8641df67a9b89e37afece0ff9369bb68ee7428ba@gmail.com","Better naming of printed data","Mate Soos",true],["88912d0fe1a29286312a8eb69c6aa0382348732b","8641df67a9b89e37afece0ff9369bb68ee7428ba@gmail.com","Removing unused variable","Mate Soos",true]],"size":4,"ref":"refs/heads/master","head":"88912d0fe1a29286312a8eb69c6aa0382348732b"}