{"push_id":868889332,"size":1,"distinct_size":1,"ref":"refs/heads/travis_install","head":"d1ea473f1a5c8fb64df21423c8a57203b1a3539e","before":"d7d2d52fe6af1467c3d38c1aaae805eb06870478","commits":[{"sha":"d1ea473f1a5c8fb64df21423c8a57203b1a3539e","author":{"email":"04f3ce9c7562766dff865a8803cb959e80935011@jacobs-university.de","name":"cmaeder"},"message":"do not check for texlive","distinct":true,"url":"https://api.github.com/repos/KWARC/localmh/commits/d1ea473f1a5c8fb64df21423c8a57203b1a3539e"}]}