{"push_id":1023977868,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"612300e8c90e2d5c957d1f8262946c68a1bd1b0e","before":"296cde731b394d2c94ecf556b6456f5ec1f001f8","commits":[{"sha":"612300e8c90e2d5c957d1f8262946c68a1bd1b0e","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/612300e8c90e2d5c957d1f8262946c68a1bd1b0e"}]}