{"action":"created","issue":{"url":"https://api.github.com/repos/leanprover/tutorial/issues/212","repository_url":"https://api.github.com/repos/leanprover/tutorial","labels_url":"https://api.github.com/repos/leanprover/tutorial/issues/212/labels{/name}","comments_url":"https://api.github.com/repos/leanprover/tutorial/issues/212/comments","events_url":"https://api.github.com/repos/leanprover/tutorial/issues/212/events","html_url":"https://github.com/leanprover/tutorial/pull/212","id":284623151,"number":212,"title":"fix(06): fix typo","user":{"login":"bradleyayers","id":105820,"avatar_url":"https://avatars1.githubusercontent.com/u/105820?v=4","gravatar_id":"","url":"https://api.github.com/users/bradleyayers","html_url":"https://github.com/bradleyayers","followers_url":"https://api.github.com/users/bradleyayers/followers","following_url":"https://api.github.com/users/bradleyayers/following{/other_user}","gists_url":"https://api.github.com/users/bradleyayers/gists{/gist_id}","starred_url":"https://api.github.com/users/bradleyayers/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bradleyayers/subscriptions","organizations_url":"https://api.github.com/users/bradleyayers/orgs","repos_url":"https://api.github.com/users/bradleyayers/repos","events_url":"https://api.github.com/users/bradleyayers/events{/privacy}","received_events_url":"https://api.github.com/users/bradleyayers/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2017-12-26T23:43:00Z","updated_at":"2017-12-27T21:49:20Z","closed_at":"2017-12-27T21:49:20Z","author_association":"NONE","pull_request":{"url":"https://api.github.com/repos/leanprover/tutorial/pulls/212","html_url":"https://github.com/leanprover/tutorial/pull/212","diff_url":"https://github.com/leanprover/tutorial/pull/212.diff","patch_url":"https://github.com/leanprover/tutorial/pull/212.patch"},"body":""},"comment":{"url":"https://api.github.com/repos/leanprover/tutorial/issues/comments/354182677","html_url":"https://github.com/leanprover/tutorial/pull/212#issuecomment-354182677","issue_url":"https://api.github.com/repos/leanprover/tutorial/issues/212","id":354182677,"user":{"login":"avigad","id":2783534,"avatar_url":"https://avatars1.githubusercontent.com/u/2783534?v=4","gravatar_id":"","url":"https://api.github.com/users/avigad","html_url":"https://github.com/avigad","followers_url":"https://api.github.com/users/avigad/followers","following_url":"https://api.github.com/users/avigad/following{/other_user}","gists_url":"https://api.github.com/users/avigad/gists{/gist_id}","starred_url":"https://api.github.com/users/avigad/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/avigad/subscriptions","organizations_url":"https://api.github.com/users/avigad/orgs","repos_url":"https://api.github.com/users/avigad/repos","events_url":"https://api.github.com/users/avigad/events{/privacy}","received_events_url":"https://api.github.com/users/avigad/received_events","type":"User","site_admin":false},"created_at":"2017-12-27T21:49:20Z","updated_at":"2017-12-27T21:49:20Z","author_association":"MEMBER","body":"See the comment to #211."}}
{"actor":{"display_login":"avigad"}}