{"push_id":2419936845,"size":6,"distinct_size":6,"ref":"refs/heads/master","head":"34d16b680431f19fbf24bb4d3a064af3332b1f67","before":"bc09ebace26e8cad43da0d1b1602fd9b61661889","commits":[{"sha":"59e22625952674b374182f828fe1fc6282284ace","author":{"name":"Mate Soos","email":"5ab9de364ee900132915cf692209175f0548c7a9@gmail.com"},"message":"Moving to binary DRAT format","distinct":true,"url":"https://api.github.com/repos/msoos/cryptominisat/commits/59e22625952674b374182f828fe1fc6282284ace"},{"sha":"5084749a777a5e214b01c547d915f36580c47ec5","author":{"name":"Mate Soos","email":"5ab9de364ee900132915cf692209175f0548c7a9@gmail.com"},"message":"Updating cnf-utils","distinct":true,"url":"https://api.github.com/repos/msoos/cryptominisat/commits/5084749a777a5e214b01c547d915f36580c47ec5"},{"sha":"19a3a7f966699dbbb5d059bb40445b03ca932e93","author":{"name":"Mate Soos","email":"5ab9de364ee900132915cf692209175f0548c7a9@gmail.com"},"message":"Fixing DRAT issues","distinct":true,"url":"https://api.github.com/repos/msoos/cryptominisat/commits/19a3a7f966699dbbb5d059bb40445b03ca932e93"},{"sha":"b38c4d6b5ade5202e9669feab25374abf5745d8d","author":{"name":"Mate Soos","email":"5ab9de364ee900132915cf692209175f0548c7a9@gmail.com"},"message":"Updating to binary drup","distinct":true,"url":"https://api.github.com/repos/msoos/cryptominisat/commits/b38c4d6b5ade5202e9669feab25374abf5745d8d"},{"sha":"c5a52cd25209b12310e52036523e1ebb0cb8b25d","author":{"name":"Mate Soos","email":"5ab9de364ee900132915cf692209175f0548c7a9@gmail.com"},"message":"Fixing DRAT clause cleaner which is needed for deletion","distinct":true,"url":"https://api.github.com/repos/msoos/cryptominisat/commits/c5a52cd25209b12310e52036523e1ebb0cb8b25d"},{"sha":"34d16b680431f19fbf24bb4d3a064af3332b1f67","author":{"name":"Mate Soos","email":"5ab9de364ee900132915cf692209175f0548c7a9@gmail.com"},"message":"Forgot to implement vector<Lit> for drat","distinct":true,"url":"https://api.github.com/repos/msoos/cryptominisat/commits/34d16b680431f19fbf24bb4d3a064af3332b1f67"}]}
{"actor":{"display_login":"msoos"}}