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