{"push_id":900343749,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"8353529f0a227418910ca24bfe29150d8c0ca22e","before":"e9a94cc9fee6a487233b3be37cc16daf5a3236d1","commits":[{"sha":"8353529f0a227418910ca24bfe29150d8c0ca22e","author":{"email":"619a0be8f906d99e79ae05d68b64205dceaecd0e@gmail.com","name":"Jasper De Bock"},"message":"further work on proof of Lemma 22","distinct":true,"url":"https://api.github.com/repos/paslo/CTMC/commits/8353529f0a227418910ca24bfe29150d8c0ca22e"}]}