{"action":"created","issue":{"url":"https://api.github.com/repos/metamath/set.mm/issues/66","repository_url":"https://api.github.com/repos/metamath/set.mm","labels_url":"https://api.github.com/repos/metamath/set.mm/issues/66/labels{/name}","comments_url":"https://api.github.com/repos/metamath/set.mm/issues/66/comments","events_url":"https://api.github.com/repos/metamath/set.mm/issues/66/events","html_url":"https://github.com/metamath/set.mm/pull/66","id":172859700,"number":66,"title":"Add proofs of Aristotelian logic's Barbara, Celarent, and Darii - DO NOT MERGE","user":{"login":"david-a-wheeler","id":813150,"avatar_url":"https://avatars.githubusercontent.com/u/813150?v=3","gravatar_id":"","url":"https://api.github.com/users/david-a-wheeler","html_url":"https://github.com/david-a-wheeler","followers_url":"https://api.github.com/users/david-a-wheeler/followers","following_url":"https://api.github.com/users/david-a-wheeler/following{/other_user}","gists_url":"https://api.github.com/users/david-a-wheeler/gists{/gist_id}","starred_url":"https://api.github.com/users/david-a-wheeler/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/david-a-wheeler/subscriptions","organizations_url":"https://api.github.com/users/david-a-wheeler/orgs","repos_url":"https://api.github.com/users/david-a-wheeler/repos","events_url":"https://api.github.com/users/david-a-wheeler/events{/privacy}","received_events_url":"https://api.github.com/users/david-a-wheeler/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":8,"created_at":"2016-08-24T04:01:43Z","updated_at":"2016-08-25T02:04:07Z","closed_at":"2016-08-24T14:28:11Z","pull_request":{"url":"https://api.github.com/repos/metamath/set.mm/pulls/66","html_url":"https://github.com/metamath/set.mm/pull/66","diff_url":"https://github.com/metamath/set.mm/pull/66.diff","patch_url":"https://github.com/metamath/set.mm/pull/66.patch"},"body":"  Add proofs of some Aristotelian logic syllogisms\r\n  to David A. Wheeler's mathbox."},"comment":{"url":"https://api.github.com/repos/metamath/set.mm/issues/comments/242261789","html_url":"https://github.com/metamath/set.mm/pull/66#issuecomment-242261789","issue_url":"https://api.github.com/repos/metamath/set.mm/issues/66","id":242261789,"user":{"login":"david-a-wheeler","id":813150,"avatar_url":"https://avatars.githubusercontent.com/u/813150?v=3","gravatar_id":"","url":"https://api.github.com/users/david-a-wheeler","html_url":"https://github.com/david-a-wheeler","followers_url":"https://api.github.com/users/david-a-wheeler/followers","following_url":"https://api.github.com/users/david-a-wheeler/following{/other_user}","gists_url":"https://api.github.com/users/david-a-wheeler/gists{/gist_id}","starred_url":"https://api.github.com/users/david-a-wheeler/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/david-a-wheeler/subscriptions","organizations_url":"https://api.github.com/users/david-a-wheeler/orgs","repos_url":"https://api.github.com/users/david-a-wheeler/repos","events_url":"https://api.github.com/users/david-a-wheeler/events{/privacy}","received_events_url":"https://api.github.com/users/david-a-wheeler/received_events","type":"User","site_admin":false},"created_at":"2016-08-25T02:04:07Z","updated_at":"2016-08-25T02:04:07Z","body":"I'll create a new pull request based on this discussion."}}
{"actor":{"display_login":"david-a-wheeler"}}