{"push_id":896094442,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"491a62bbae474c869f7a300f77b86f391b027ee6","before":"52aef75aefa3a09d5c5363af171628a696f5c999","commits":[{"sha":"491a62bbae474c869f7a300f77b86f391b027ee6","author":{"email":"f1c3082c9def1c7cee43850c0310caee858f0e10@cs.rwth-aachen.de","name":"Travis doxygen daemon"},"message":"Updated documentation for carl","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat.github.io/commits/491a62bbae474c869f7a300f77b86f391b027ee6"}]}