GitHub PushEvent at 2014-08-15 17:22:08
Repository: cnf2aig
Actor: IserMk
Payload: {"shas":[["b64261c2dac0a56b5460fdebe91ddffe2ab32ce8","ff452c2c33cea905ce274a3f4aba811685714b5e@kit.edu","weekend push","Markus Iser",true]],"size":1,"ref":"refs/heads/master","head":"b64261c2dac0a56b5460fdebe91ddffe2ab32ce8"}