{"push_id":1691997558,"size":2,"distinct_size":1,"ref":"refs/heads/master","head":"4047ddd66fd2843948e2c7634f9b32ca568099de","before":"94ca8f802e0bc87b2c8c3c6e64718d2d7f443e81","commits":[{"sha":"b088a8e60b1618f08d88abf79db367d6f9e5b289","author":{"name":"Yoichi Hirai","email":"20c9ad801dcd325d64175857c60044bb4e617492@yoichihirai.com"},"message":"Add more necessary packages in README","distinct":false,"url":"https://api.github.com/repos/pirapira/eth-isabelle/commits/b088a8e60b1618f08d88abf79db367d6f9e5b289"},{"sha":"4047ddd66fd2843948e2c7634f9b32ca568099de","author":{"name":"Yoichi Hirai","email":"20c9ad801dcd325d64175857c60044bb4e617492@yoichihirai.com"},"message":"Merge pull request #399 from pirapira/more_requirements\n\nAdd more necessary packages in README","distinct":true,"url":"https://api.github.com/repos/pirapira/eth-isabelle/commits/4047ddd66fd2843948e2c7634f9b32ca568099de"}]}
{"actor":{"display_login":"pirapira"}}