{"push_id":2630819999,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"07bc7382461898b1e3a3e0fb5e3548e0505b0219","before":"bf9938154edd1826158518daa158301b472255a9","commits":[{"sha":"252cdc6825599ad53ee0c8440276c74d21133fa1","author":{"name":"Markus N Rabe","email":"621788903816aeafca6b01ed5b378296ea36fa3f@gmail.com"},"message":"deleted normalized files","distinct":true,"url":"https://api.github.com/repos/MarkusRabe/synthetic_qbf_formulas/commits/252cdc6825599ad53ee0c8440276c74d21133fa1"},{"sha":"07bc7382461898b1e3a3e0fb5e3548e0505b0219","author":{"name":"Markus N Rabe","email":"621788903816aeafca6b01ed5b378296ea36fa3f@gmail.com"},"message":"added reduction finding data sets","distinct":true,"url":"https://api.github.com/repos/MarkusRabe/synthetic_qbf_formulas/commits/07bc7382461898b1e3a3e0fb5e3548e0505b0219"}]}
{"actor":{"display_login":"MarkusRabe"}}