{"push_id":3032306351,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7a782ed21d2896ea3433ec15087dfc78dd9a4308","before":"8b46375920f8fa09a1ba10b5d3fec1d5cd9eb828","commits":[{"sha":"7a782ed21d2896ea3433ec15087dfc78dd9a4308","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/7a782ed21d2896ea3433ec15087dfc78dd9a4308"}]}
{"actor":{"display_login":"nafur"}}