{"push_id":2594581956,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"df92d8f2c6b18313e261d5843ba4fb15530b4f37","before":"b3fc5b89369d8dd83d4689dd7b838ed3c9890fa9","commits":[{"sha":"df92d8f2c6b18313e261d5843ba4fb15530b4f37","author":{"name":"Travis doxygen daemon","email":"f1c3082c9def1c7cee43850c0310caee858f0e10@cs.rwth-aachen.de"},"message":"Updated documentation for SMT-RAT","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat.github.io/commits/df92d8f2c6b18313e261d5843ba4fb15530b4f37"}]}
{"actor":{"display_login":"nafur"}}