{"push_id":911946561,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9d6e9f2ed6151fab674bba33cc411d597aa2af43","before":"2ecb26bdca5a94df0a248061c79bb9fbbf145575","commits":[{"sha":"9d6e9f2ed6151fab674bba33cc411d597aa2af43","author":{"email":"fd61dbc27e632aa211e29055ba9ff7b4f4cfc8be@uu.nl","name":"ThomasKrak"},"message":"Added proof that set of dominating rate matrices is closes, convex, and s.s.r.","distinct":true,"url":"https://api.github.com/repos/paslo/CTMC/commits/9d6e9f2ed6151fab674bba33cc411d597aa2af43"}]}