{"push_id":1171149166,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"2e94edd1d1a565f7757461a08529fe6380d8587a","before":"56d661c392b332b2d86e2d28c18b69852524a3d4","commits":[{"sha":"2e94edd1d1a565f7757461a08529fe6380d8587a","author":{"name":"Jonathan Protzenko","email":"6fddb1048f6869e3b85caf276e41d5ee2cd764d7@microsoft.com"},"message":"Make test driver work on Windows/cygwin","distinct":true,"url":"https://api.github.com/repos/FStarLang/kremlin/commits/2e94edd1d1a565f7757461a08529fe6380d8587a"}]}
{"actor":{"display_login":"msprotz"}}