{"push_id":821159063,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"058cb41164f011436b366504025c3f247f908624","before":"5cf20152d0da4cb47ce0ffbc0cd644d6c80c07eb","commits":[{"sha":"058cb41164f011436b366504025c3f247f908624","author":{"email":"f1c3082c9def1c7cee43850c0310caee858f0e10@cs.rwth-aachen.de","name":"Gereon Kremer"},"message":"Adding profiling with /usr/bin/time","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat/commits/058cb41164f011436b366504025c3f247f908624"}]}