GitHub CreateEvent at 2014-12-16 08:32:46
Repository: DPLLSolver
Actor: zealk
Payload: ref_type: repository
master_branch: master
pusher_type: user