{"push_id":849603786,"size":1,"distinct_size":1,"ref":"refs/heads/build_queue","head":"f5fbe16a1d3e021043182023231a395acf98fbef","before":"31db70bc7b9142a9339d17bb87e42d6745ab7af2","commits":[{"sha":"f5fbe16a1d3e021043182023231a395acf98fbef","author":{"email":"04f3ce9c7562766dff865a8803cb959e80935011@jacobs-university.de","name":"cmaeder"},"message":"only schedule if controller has a build queue","distinct":true,"url":"https://api.github.com/repos/KWARC/MMT/commits/f5fbe16a1d3e021043182023231a395acf98fbef"}]}