{"push_id":826428867,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"086ebe11d527f829c379125db1330ef0dc9c03ed","before":"2b7c5ccc2b7d252b320656e4f98ba3a37a2a4bd8","commits":[{"sha":"086ebe11d527f829c379125db1330ef0dc9c03ed","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/086ebe11d527f829c379125db1330ef0dc9c03ed"}]}