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