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