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