{"push_id":887005773,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d9ce71fad614015f3051b2b8186c4eb610b773c4","before":"d5a85b4168bda01fc6c844b517859390d77a23b7","commits":[{"sha":"d9ce71fad614015f3051b2b8186c4eb610b773c4","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/d9ce71fad614015f3051b2b8186c4eb610b773c4"}]}