{"push_id":3043550198,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"70fcb0b50b5da5cb0e69f30f334de5a00e990972","before":"e5e453233f347c3f18b3ae4e98e5276c8ce622ab","commits":[{"sha":"70fcb0b50b5da5cb0e69f30f334de5a00e990972","author":{"name":"dgelessus","email":"d9fcd0266590f478453a28f3e5d8020330ba4afb@users.noreply.github.com"},"message":"Add options attribute to all plugin APIs (#5890)\n\nThis allows plugins to behave differently based on options like the\r\nPython version.","distinct":true,"url":"https://api.github.com/repos/webknjaz/mypy/commits/70fcb0b50b5da5cb0e69f30f334de5a00e990972"}]}
{"actor":{"display_login":"pull"}}