{"push_id":3044438286,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7be74f99e05fbf6ccb695d95d8361aca852c0aa5","before":"714a4c40da3a3a6853523d15f4768ef7449d6574","commits":[{"sha":"7be74f99e05fbf6ccb695d95d8361aca852c0aa5","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/7be74f99e05fbf6ccb695d95d8361aca852c0aa5"}]}
{"actor":{"display_login":"nafur"}}