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