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