{"push_id":1315141809,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"79ec7c5c5efb9651ad3319321d07b36f9251b16c","before":"d8626a213bf5f54ff4ed77afff69227bdd8020a2","commits":[{"sha":"79ec7c5c5efb9651ad3319321d07b36f9251b16c","author":{"name":"Kyoko Kadowaki","email":"90cbb18c3eacedd2dd8bb4093561eba25cf4af36@gmail.com"},"message":"[add] methods","distinct":true,"url":"https://api.github.com/repos/kdxu/dependent-types-in-scala/commits/79ec7c5c5efb9651ad3319321d07b36f9251b16c"}]}
{"actor":{"display_login":"kdxu"}}