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