{"push_id":1252090946,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"8369bd411750195698f21ba32c06c301e29a8921","before":"db0df287c4023ba4b0c1023f51056c38537f41fb","commits":[{"sha":"c97adfdda0205339d47f94ae8bccc4b6503102ca","author":{"name":"ThomasKrak","email":"f387a9cabdb5dff1e2dbf56a037d6c7f335b346c@uu.nl"},"message":"Re-structrured section 6, removed compactness proof","distinct":true,"url":"https://api.github.com/repos/paslo/CTMC/commits/c97adfdda0205339d47f94ae8bccc4b6503102ca"},{"sha":"8369bd411750195698f21ba32c06c301e29a8921","author":{"name":"ThomasKrak","email":"f387a9cabdb5dff1e2dbf56a037d6c7f335b346c@uu.nl"},"message":"Merge branch 'refs/heads/changing_6'","distinct":true,"url":"https://api.github.com/repos/paslo/CTMC/commits/8369bd411750195698f21ba32c06c301e29a8921"}]}
{"actor":{"display_login":"ThomasKrak"}}