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